Why converts lemmy.world *.gif to *.mp4

Why converts lemmy.world *.gif to *.mp4 ?

Isn't *.gif more popular and easier to show direct/automatical in any browser and app?