Theme names in the theme picker

When you choose a theme in General settings, you now see each theme’s real name instead of a technical one.