Remove irrelevant stuff from doc/conf.py