doc without comments #18

Merged
mw merged 2 commits from s150169/DPRI_doc_20-21:master into master 2020-11-22 23:10:39 +01:00