Added a few words on the with_documentation new option