Tip for desktop users: uBlock Origin (amongst others) lets you block media elements larger than n KB. You can then choose to selectively load in specific blocked media elements.
Ouch. When will web developers learn to use HTML5 video? Not only it weighs 10x smaller, but user can actually stop and replay more interesting parts, instead of waiting for another loop. They at least should use loading="lazy" attribute.
Why don't browsers add playback controls for .gif animations as well? It's kind of hard to rewind a .gif because of its layering structure, but rewinding video is similarly hard due to B/P-frames