No. Most sites don't offer their own ways to download videos.
If you want to save videos, you can always use a browser addon. I use VideoDownloadHelper for Firefox and it allows me to download any video, even on Linux.
Yes I'm aware of that, I assumed that a site recommended on here would have that as a main feature otherwise it's not much use for archiving. I already tried yt-dlp and it doesn't seem to be supported.