[tor-commits] [builders/tor-browser-build] 01/02: Bug 40643: Update Richard's key in torbutton.gpg