Why are some files so large?

GIF is an old format that stores every frame as a full image, so a long or high-resolution clip becomes very large. That is exactly why an MP4 version is offered alongside it - same clip, far fewer bytes.