Merge branch 'fix/main-manuals' into 'master'

Fix/main manuals

See merge request !136
2 jobs for master in 4 minutes and 8 seconds (queued for 9 seconds)