I finally found an open-source tool that casts web video to my TV without hijacking my PC screen XDA