DM> Furthermore, an automated tool to delete keys from known_hosts already DM> exists. I bet if you read some manpages then you will find it. Well I hope the message will mention something about it. I dare not CC upstream though.