Fix Image Which Was Never Changed To Fontname=Sans Or Made A PNG

Somehow, in a way that baffles me, the shell loop I ran to change all the images to use Fontname=Sans, generate PNGs, and then optipng managed to miss a single image which still used font=Times and never got a PNG.  This pull request fixes that.  I also ran a few manual and automatic checks to make sure nothing else was amiss.

As a trivial pull, I'm going to merge it immediately.