fix version numbers in manuals

4 jobs for fix/manuals-version-number in 7 minutes and 31 seconds (queued for 8 seconds)