Stop it with those short PGP key IDs | Hacker News Reader