In another bug (bug#202388), I want to make it possible to switch between system prefs and mozilla prefs when mozilla is running.
In another bug (bug#202388), I want to make it possible to switch between system
prefs and mozilla prefs when mozilla is running.