I don't mean to sound picky, but I'm sure there was this program that allows you to take movie files and turn them into animated GIFs or something like that.

Also, I'm still having file size problems with animated GIFs, even though I converted the images from PNG to JPEG.