Comment by shmerl

Why are they using GIF for video, instead of a proper video file in the video tag?