RE: PGP kerserver infrastructure