[tor-commits] [torbutton/master] Bug 16200: Torbutton changes for ESR 38