Nobody in the general public wants to do that, but I'd think some in the HN audience might feel differently (I mean, setting this up is part of the fun).

Personally, I use an RPi4 with libreelec, and it works great - including responding to my remote via HDMI-CEC. (There's also no need for any sysadmin with libreelec, which is designed to work out of the box.)