updated doc to include publishing PGP keys to the key server pool