OPIN: PGP: When to sign keys