Is it possible to use a pair of HomePod minis as default output for an Apple TV 4K? I know that they can’t output surround sound like the original HomePod. But I don’t see them listed as a possible output although they are in the same room in HomeKit. I thought you could at least use them as a permanent stereo pair.