I have tried the HomeKit App on iPhone, iPad (both running 16.3.1) and Mac OS Ventura (13.2.1), and the settings on the Apple TV itself. Nowhere am I able to set the default speaker for the Apple TV to the HomePod mini. No such option shows up in the Apple TV settings in HomeKit anywhere, and...