Option in document formatting dialog to enable/disable reporting of comments #5108 (#6087)
* Added a checkbox to the document formatting options dialog concerning the reporting of comments
* Reflected reporting of comments in the user guide
Fixes #5108