I'm not sure if this is actually a bug or not, but it seems weird to me that Profiles don't include saving/changing the Theme. I figured using Default on one profile and Dark on another would be a really quick, obvious way to differentiate between profiles. To my dismay though, the theme seems to be a global choice.
