gif2png -- tools for converting websites from using GIFs to using PNGs<hr>
Tools for converting GIFs to PNGs.  The program gif2png converts GIF
files to PNG files.  The Python script web2png converts an entire web
tree, also patching HTML pages to keep IMG SRC references correct.
</listing>