Phil Zimmermann leaves NSI, says PGP source should be published