Good point, however my vote goes to GPG (hopefully this is also different enough). The difference between GPG and PGP is very slight--as slight as could be. I think we should not use the name GPG.