On Tue, Feb 23, 2016 at 3:44 PM, Christian Hesse <list at eworm.de> wrote: > Did pngcrush compress more? I tried optipng, but it did not change the file. It managed to shave off a few bytes, yes.