As someone who likes to do previews in PRs, mp4's are infinitely better than gifs. Better colors, better frame rate, better resolution, better size when you change any of those factors. It's really, really silly GitHub still don't support them.