Yeah, most of the compression seems to come from converting from RGB to colormap with pngquant. I wonder if it's possible to do all this with an ImageMagick on

Yeah, most of the compression seems to come from converting from RGB to colormap with pngquant. I wonder if it's possible to do all this with an ImageMagick one-liner.