RTD: tweak conf.py