[tor-commits] [webwml/master] Bug 25847: remove boklm's old key from the signing-keys page