Time to set up a Linux stream box that does support it (and whatever else I want).

This is the way. I made a tiny PC to use with my dumb TV, and I can’t understand why anyone would do anything else (except for laziness, I understand that).

I plan on replacing it with the steam box, if it turns out to be functional for streaming.