Restore default conf.py so that readthedocs.org may work properly?