Very cool.
What do you folks use for making these GIFs? I tried GIFCAM but it seems to take me forever to get it working properly and outputting a non-glitchy gif.
