Bug 813287 - Move healthreport prefs into greprefs.js; r=rnewman