[PATCH 0/2] doc: build HTML docs in CI