I used LICEcap (http://www.cockos.com/licecap/) from Cockos to generate the GIFs

I wrote the rotating gallery myself, it auto-figures out the duration of the GIF and does cycling for you. I'll probably release it sometime soon...