sphinx.ext.pngmath is deprecated, sphinx.ext.imgmath is a drop-in
replacement for it (its default output format is PNG and under the
bonnet both use dvipng), and we could now easily switch to SVG
output by passing '-D imgmath_image_format=svg' to sphinx-build.