Hi, nice article!
To convert PNGs to GIFs I would recommend ImageMagick's convert or mogrify (which works with multiple files).
