Tweaking docs/conf.py to get the readthedocs.org build working.