I use hdmi extenders from gofanco, i have one TX feeding into a 5 port switch (they recommend using a dedicated switch) and 3 RX units. 2 of them are connected to TV's, i can just switch hdmi port with the remote or let Home Assistant do it based on some trigger. The last one is on my desk with...