Basically what this commenter said, but substitute WebP and WebM for HEIF and HEVC

https://news.ycombinator.com/item?id=26298606

GIFs have a nice convenience to them that straight-up video files lack