Fix to make same config work locally and on RTD website