[PATCH v2 0/5] make htmldocs in CI