[tor-commits] [torbutton/master] Bug #13672. bind tor circuit display to a pref