Convert a short section of an MP4 video into an animated GIF with direct controls for the exported result.