[tor-commits] [torbrowser/master] Bug 5758: Sync some prefs set by Torbutton