I was wondering what a convenient production process for GIFs from movies would be like, so I hacked my hacked version of mplayer a bit more. Nothing major, since it already has all the functionality, but it doesn’t group continuous screenshots by name, which makes picking out the animations afterwards awkward.
It uses the ImageMagick “convert” command to actually stitch the images together in the end after you’ve done the edit, so it’s not a pure Emacs-only solution.
And here’s the result: