>>87856701There are also non-video* formats supporting animations while achieving excellent compression/quality ratio. However we'll never be able to use them, not only because this backward backwater website does not allow them, but also because browser developers (read: Google) don't want to support them because of money. Not to mention society believes that animated image = GIF.
*Arguably one could claim anything animated is a video, but here by non-video I mean any format that would cause the browser to not show the play/pause controls and the progress bar.