GIF export for video

Export a video as an animated GIF.

Votes help us prioritize. A request does not guarantee a timeline or an individual reply.