Here’s another option:
Another user (@iwalton3) created this so that you can cast content to a Linux (or Windows) desktop, from another device.