A bit offtopic. Is it possible to cast these videos somehow from the browser to a TV? I know it's possible to download them, but I am wondering if it's possible to stream them to the TV instead...
If there isn't a cast button within the video player itself, i would download them, and then use something local to cast the actual video content to your tv (vlc has this feature)