Looking for a way to switch back to vanilla theme for the shell