[tor-commits] [torbutton/master] Bug 6566: Fix "Transparent Torification" option.