If the videos were mp4/webm, the whole page would be about 1/10th the size. Gif format was never intended for this type of use. (and yes, thanks for pointing out several other horribly bloated websites, luckily browsing with JS disabled cuts them down to a few mb at most like they should be)