[tor-commits] [torbutton/master] Bug 33892: Add brandProductName to brand.dtd and brand.properties