Editing configuration
From MozillaZine Knowledge Base
There are three ways to easily edit your Mozilla or Firefox configuration:
- Use the ChromEdit extension.
- Learn how to do it manually (see also the User.js file).
- Do (much of) it through about:config.
