[tor-commits] [torbutton/master] Bug 20414.3: Delay banner 1 week & add pt locale