Tinkered with source/conf.py.