It's been years since anybody really looked at this code. Does PGP even still work? Does anybody use it? I wonder if we should still support it, or if we could remove it. If we keep it in, we should probably take some time to look at it sometime...