GIF → MP4

Convert an animated GIF to a smaller MP4. First use downloads a ~25MB engine; everything runs locally.