Improved documentation

12 jobs for update-docs in 82 minutes and 9 seconds (queued for 5 seconds)