The point is the browser just plays the mp4 with autoplay and looping and then people call them GIFs when they aren't. The only time you are looking at an actual GIF file is when the quality is atrocious and the colors are messed up because it needed to be dithered.