I have been using HDMI to game on TV for most or all of my adult life. Mostly console gaming. A few years back I built a dedicated gaming rig, but I still use it with a controller from my couch connected to a TV.

So this is a win for couch gamers and open source in general.