I'm trying to "cast" my laptop's screen (Debian+GNOME) to my living room TV, either to an HDMI dongle or to the RPi connecting to it (LibreElec+Kodi) *without* resorting to a Chromecast and ideally only using FOSS.
It's revealing to be surprisingly difficult. Any suggestions?