Had a similar problem and found your ‘fix.’ THANKS! Additional question: Is there a single file that contains the ‘get such-and-such a theme’ command, so that if you changed the theme name there, the desired theme would load? Or is it way more complicated than that?