[tor-commits] [torbutton/master] Bug 3838: More agressively warn users that Torbutton is enabled.