Move ot12 from development to production

Not much here, just moving ot12.config from development to production, and comment changes. Yet to be done: make branches for ot12 and update ot12.config to use them.