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)
Name Stage Failure
failed
clang_10.0_hybrid_dbg_sp Pretest
Running after_script
Running after script...
$ python3 cmake/ctest2junit.py build > report.xml
Uploading artifacts for failed job
Uploading artifacts...
report.xml: found 1 matching files and directories

WARNING: python/report.xml: no matching files
Uploading artifacts as "junit" to coordinator... ok
id=638811 responseStatus=201 Created token=CMuMSutu
Cleaning up file based variables
ERROR: Job failed: exit code 1
failed
gcc_11_hybrid Pretest
Running after_script
Running after script...
$ python3 cmake/ctest2junit.py build > report.xml
Uploading artifacts for failed job
Uploading artifacts...
report.xml: found 1 matching files and directories

python/report.xml: found 1 matching files and directories

Uploading artifacts as "junit" to coordinator... ok
id=638810 responseStatus=201 Created token=gez5Dieq
Cleaning up file based variables
ERROR: Job failed: exit code 1