Maybe a little off-topic, but if there ever is a need for GIFs, I've
recently worked on an Emacs package for high quality/compression ratio
GIF recordings:

	https://github.com/Ambrevar/emacs-gif-screencast

--
Pierre Neidhardt