fullDocs option for doc_comment

Updated demo with default value for fullDocs to make it easy for users
to understand. Added documentation to manual.txt.