Installed a theme, enabled it, but I cannot find where it can be changed to in user preferences?

Maybe that was the case too… CTRL-R was needed at least.