added a comment about the /docs manual