This HDMI feature shouldn't be so frustrating, but it is.
I made my own Google TV remote with an ESP32, and it's better than the actual remote.