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...
Yeah. I also wanted to rely on chromecast for this. But the chromecast button does not even show up when I open that page, so probably that page does not support that
You can still "cast tab" from Chrome. That's mostly what I use, to be honest. Some sites / streamers do a poor job implementing the cast functionality.
If you have a Chromecast on your tv, you can generally just cast a whole tab using chrome. But the frame rate will be awful and I don't think audio gets cast.
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)