Why you get an MP4 as well
The GIF format is limited to a 256-colour palette, which is unkind to skin tones โ subtle gradients across a face are exactly what palette quantization handles worst, and it is why swapped GIFs can look banded even when the underlying swap is clean.
The MP4 has no such limit, so it looks noticeably better and is usually a fraction of the size. Most platforms that appear to accept "GIFs" โ including the major social networks โ actually convert them to video on upload anyway, so posting the MP4 often gets you a better result through the same UI.