Update documentation [skip modfiles]

7 jobs for fixCI in 2 minutes and 33 seconds (queued for 1 second)