Why is an MP4 shown instead of a GIF?

An MP4 of the same clip is typically a small fraction of the GIF's size at the same visual quality. Grid and preview playback uses MP4 so pages load quickly, particularly on mobile data. The GIF itself is always still available to download.