GIF to PNG Conversion

[Alexander Winston]

What exactly needs to be done with concern to the GIF-PNG conversion? I
am able to convert the GIFs to PNGs using gif2png, then minimize their
file size using "optipng -zc1-9 -zm1-9 -zs0-2 -f0-5." Would a patch for
this be welcomed?