refining key server's "key generation" docs