Ah. In my experience, tools like optipng don't optimize much at all. Tools that save PNG are pretty smart nowadays and compress the files well from the start.