Creé videos OGV con el gtk-recordmydesktop
programa de screencasting, tratando de abordar este problema aquí con bruteforce sobre X. Puedo ver los videos con VLC.
Ahora, la tarea es encontrar algunas formas de convertir videos OGV en animaciones GIF para poder mostrarlos en SE. ¿Cómo puedo hacer eso?
-limit map 1
para convertir (obtuve un "Killed" de lo contrario).