Hi! I have reinstalled a server of mine, and now I need to remove it's old pubkey from my $HOME/.ssh/known_hosts, but it is in the "new" format, so no hostnames which may indicate which pubkey belongs to which host. How can I "decrypt" the known_hosts file? Thanks! Daniel -- LeVA