fix openpgp2ssh man page to reflect new implementation.