Re #15: add text to documentation page
Merge branch 'doc_page_15' into develop