Correctly mock out extensions for RTD conf.py .