Animaciones HTML → MP4 · WebM · GIF