[tbb-commits] [torbutton/master] Bug 24653: merge securityLevel.properties into torbutton.dtd