this duplicates of existing conf.py for html. Can we be more DRYer?