move stuctured from-first-principles criticism of PGP's identifier model into its own section