Rename "Thor" themes to simple "Default (Light)" and "Dark"

This renames the default themes to simply Light and Dark (we don't want them to have quite so much personality of their own ;). This also fixes #8443 which is visible when you update to this branch if you're using the default themes.