[PATCH 1/1] doc: define html_context in conf.py