Package Request: gnome-network-displays
This tool allows for streaming of audio/video via MiraCast to compatible displays, and I think would be a great addition to the other GNOME ecosystem packages we have already. https://gitlab.gnome.org/GNOME/gnome-network-displays