Update themes-settings.html and strings.js

Fix #8712 (part 1 of 2)