Interesting links, thank you. I think I may have them in a text file somewhere, planning on setting them up eventually, as well as other services like various decentralized search instances and such, but I just never got around to them.
I've installed the extension to redirect videos to a piped instance and that looks like it's going to work pretty well, so thanks!
But yeah I often just open a terminal and download the video.