And if you want to be really sure, use stuff like Raspberry Pi with libcec to drive HDMI port selection. The world is weird!