Ran images through optimizers. Saved ~46KB

AdvPNG, OptiPNG, PNGOUT, PNGCrush, JPEGOptim, Jpegtran, Jpegrescan, Gifscale.

(All done automatically and at their highest settings with a Mac app called ImageOptim.)