new post: Elegant way to remove offending key from known hosts