Fix docs

5 jobs for docs in 9 minutes and 20 seconds (queued for 3 seconds)