Run doc PNGs through ImageMagick. Hopefully fixes issue #2.