Convert an animated GIF to H.264 video, typically a fraction of the size and easy to scrub. Always a re-encode, with no lossless path. Runs in your browser.