Make CI happy

5 jobs for doc-tweaks-part1 in 31 minutes and 59 seconds (queued for 1 second)