Fix main RTE manual

4 jobs for fix/main-manuals in 21 minutes and 6 seconds (queued for 8 seconds)