Minor tweaks for production.
Minor tweaks for production.

Some of the settings file changes didn't quite work as expected in
production.  They've been fixed.

mathuin/pyment,mathuin/pyment,mathuin/pyment,mathuin/pyment