[Fwd: Have they found a serious PGP vulnerability?!]