@sschuberth pointed out that Git's documentation was recently adjusted to support being compiled using asciidoctor. It might speed up the generation substantial for us. Alternatively, we should look into using MinGW Python (as opposed to MSys2 Python) to run asciidoc.