I was messing around with themes and I seem to be missing the default dark theme …
so now “Dark” is the light theme. I can delete this and re-upload…? Is there a repo?
Try Customize --> Colors --> + New then pick Dark Scheme and name the new color scheme “Dark Scheme.” It should be selectable in your themes after that.