This patch reduces the colorspace of GIF files and has optipng
optimization run on PNGs. Changes shouldn't be visible except in
filesizes.