[tor-commits] [tor-browser] 02/04: fixup! Bug 40562: Added Tor-related preferences to 000-tor-browser.js