The new dev-maintenance release supercedes prior development work. This is a patch to fix production problems with the current code.