To add a new preference:

create a preferenceXXX variable in top.js

add a checkbox in prefs.js

create a togglePreference...() in prefs.js
  this function also saves the cookie

add to getPreferences() in top.js

implement execution of the preference
  alertUnusual() is in help1.js
