More on themes and config.