tweak HTML title in conf.py