[avhon1]

Neat trick! I exported from GIMP and then used pngcrush. Interesting that this case isn't covered by that workflow.