pref("extensions.torproxy@trisquel.desiredProxyConfig", 1);
pref("extensions.torproxy@trisquel.proxySettingNotifications", true);
pref("extensions.torproxy@trisquel.privateHomepage", "");
pref("extensions.torproxy@trisquel.switchToAltProfileOnly", false);
