Just want to chime in and say that this doesn't imply that PGP is safe. I mean, it probably is. They would not let us know, either way.