Re: [PATCH 01/11] doc: Build documentation in parallel