GIF to Video

Turn an animated GIF into a small, smooth MP4 — far lighter than the GIF.