GIFs are incredibly bulky and are an inefficient waste of bandwidth and resources. For assets that use multiple animations, it would be incredibly helpful if all of those animations were MP4s. Not only does it cut down on load times, but it allows the creator to display their work as it was intended to be seen.