Rename "Restore User Preferences" to "Reset User Preferences"?
The problem with "Restore" is that it's not clear to what the preferences are being restored. Consider "Restore User Preferences to Defaults" or "Reset User Preferences".
Also, should we call "preferences" to "settings" on non-mac systems?
It's a new feature; renaming gets harder after the release, hence it is worthwhile to make sure we are happy with the name. I should have brought this up during the review.