It’s a little weird that the default theme is technically not a theme. Maybe Emacs should just ditch the code that goes into setting up the default “theme” and use these actual themes instead.