Re: [PATCH v6 00/80] htmldoc build fixes with Sphinx 2.x and 3.x