[tor-commits] [torbutton/master] Bug 18238: remove unused Torbutton code and strings