Merge branch 'develop-hotfixes-0.0.1' into 'master'

Document modification

See merge request !9
1 job for master
in 3 minutes and 16 seconds, using 0 compute credits, and was queued for 0 seconds