Merge branch 'documentation' into 'master'

Documentation maintenance

See merge request !479
109 jobs for master in 26 minutes and 29 seconds (queued for 13 seconds)