MP4 to GIF

File upload coming soon. For now, extract a video and choose the matching format: