pref("extensions.dnssecstatus.use_dnssecstatus", true);
pref("extensions.dnssecstatus.dnssecstatus_executable", "/usr/local/bin/dnssecstatus");
pref("extensions.dnssecstatus.chase", true);
pref("extensions.dnssecstatus.usenameserver", false);
pref("extensions.dnssecstatus.nameserver", "127.0.0.1");
pref("extensions.dnssecstatus.keydir", "~/dnssec/keys/");
pref("extensions.dnssecstatus.debug", false);
pref("browser.dom.window.dump.enabled", false);
pref("extensions.dnssecstatus.use_libval", false);
pref("extensions.dnssecstatus.libval_executable", "/usr/local/bin/getaddr");