I'm guessing for legacy reasons. They've been using gifs for a long time. If this was the first time they needed an animated video, perhaps they'd jump to video tag.