prefs.js im Profile-Verzeichis editieren

Fals Wert = Zahl: user_pref(„Option“, Wert)

oder

Falls Wert = String: user_pref(„Option“, „Wert“)

Alle Optionen

• http://kb.mozillazine.org/About:config_Entries

extensions.pocket.enabled;false

• network.dns.disablePrefetch von „false“ auf „true“
• network.prefetch-next von „true“ auf „false“
• beacon.enabled von „true“ auf „false“

• network.http.pipelining von „false“ auf true
• network.http.proxy.pipelining von false auf „true“
• network.http.pipelining.ssl von „false“ auf „true“
• network.http.pipelining.maxrequests von „32“ auf „8“
• browser.sessionstore.interval von „15000“ auf „300000“