Don't use config.set_theme_strategy() internally, to avoid triggering conflict detection erroneously