Thank you Pablovi77 for your reply. Much appreciated. I've now understood the work-around ... and it works!
However, the default audio option (which used to be there) has completely disappeared from my system, with the result that the Apple TV 4K that used to play quite happily through my Homepods stereo pair had lost the ability to do so. And all my Apple stuff is always kept bang up to date.
Topic:
App & System Services
SubTopic:
General
Tags: