AV1 files are roughly 1/30th of the size of equivalent GIFs! https://www.singhkays.com/blog/its-time-replace-gifs-with-av1-video/