add open-logic-dev for various development commands -- now just oldevnote for uniform marginal notes to indicate labels etc.