I added HDMI-CEC to my mini PC with a $20 adapter, and now it's the ultimate Steam Machine

No quality or latency degradation, either.