This is true, most of the time. A gif can have super long delays in between frames, it should be possible to make a < 1kb gif that turns into > 1GB video.

We serve mp4 or webm if possible, before falling back to the gif in our embedded player. Highly recommend using that rather than the gif in an image element.