pruned doc/conf.py