Go right-click some stuff on https://www.reddit.com/r/HighQualityGifs/ https://www.reddit.com/r/HighQualityGifs/ as an example. You'll see all of them say "save

Go right-click some stuff on https://www.reddit.com/r/HighQualityGifs/ https://www.reddit.com/r/HighQualityGifs/ as an example. You'll see all of them say "save video as..." - it's still just that easy, same as a gif. mp4's have already replaced gif's in an awful lot of places. Since they're like 1/40th the size, there was a heck of a lot of motivation to hammer out the kinks to treating audio-less mp4's as more or less equivalent to animated gifs.