Remove the custom theme, so that we also get the RTD theme