Hacker News Reader

Go right-click some stuff on 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.

Videos are only hard to save of they are streaming. Short gif-like videos don't need streaming.

right-click and save?