JB needed to use PNGs instead of SVGs

Don't merge this unless you too want to switchover! Or, on a more positive note, you could make the whole thing fancier where use can somehow specify PNG and/or SVG output for figures.