[gerv]

The fact that he only lists the about:config way doesn't mean that this is the only way to do it. Many of these options have GUI prefs.