Merge branch 'RainFARM_nojulia' into 'master'

Fixes in documentation.

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