Standardize on Preferences.

We often say "Go change your preference", but the menu is called
Options, and the page it loads is titled Settings.  The URI also
contains Prefs.
Standardize a couple mentions of Options/Settings
Merge branch '4.2/prefer-preferences'