Allow turning off todo notes in user's guide
The todo notes are to help developers keep track of things to update in the documentation. End users do not need to be exposed to them, so remove them from the documentation posted publicly.
The todo notes are to help developers keep track of things to update in the documentation. End users do not need to be exposed to them, so remove them from the documentation posted publicly.