There’s some lag, though. Not sure if that’s my old TV or the protocol, but it’s mainly good for streaming videos. I’m afraid it’s either GNOME Network Displays or missing hardware acceleration on Linux, because streaming from Windows on the same TV does not have the lag I experienced with Linux :/