Added theme-settings.txt, a backup of collaboratively chosen theme settings lost after theme change or (re-)activation