Video files are a way more efficient way to show animations than GIF files. Our scripts inject videos with autoplay and loop attributes, so they look like GIF for endusers. There is one limitation (from Browsers): such videos should not contain sound.
