tidy up info on prefs that require a restart
tidy up info on prefs that require a restart

this is not all prefs, just some that we already documented
ghacksuserjs/ghacks-user.js,ghacksuserjs/ghacks-user.js