Misc cleanups, clarifications, and additions to the formulas conventions doc