This program can convert GIF images to PNG images. It also contains the script "web2png" which converts entire websites from GIF to PNG and updates the HTML accordingly.