Comment by suslik

I vaguely remember you can do this in pulseaudio, so technically you can stream nextflix from a linux box to a tv over hdmi. Maybe.