Convert an animated GIF into a small MP4 video.
Your file is processed in your browser and is never uploaded.