How to download any video?

I’m experimenting with downloading media from websites via a generic plugin. This opens up for downloading media from practically any website with public videos, thanks to the recent integration with youtube-dl. There will be no browsing available via the generic plugin, though – only for the relatively small (but soon to be growing) number of websites currently supported.

Below: Download from TikTok and Instagram as examples. As there will (probably) never be any related media for the generically supported websites, it’s perhaps better to get rid of the Related tab and give the image a bit more space.

Instagram video
Tiktok video