Fixed key bug in bin/doconce: lots of code in conf.py was not substituted, e.g., old extension with pngmath was still present.
updates