couldn't find it... While trying to find it, I discovered an option in that video: right-click > open in new tab > save video as... It doesn't work when there are multiple videos on a single page, even if only one video is playing... I also didn't like some of the explanations. It's very popular, but for me it's a flop.