A nice speed improvement!

Looking at an earlier build (~15 mins):

This has parallel docs (~4 min) and doctest (~7 min):

and

So even if they ran in serial (they won't), it's still quicker. In part it's because "Build HTML documentation" only takes 2 min instead of 6 min (or sometimes up to 15 min)!