properly remove known host https://news.ycombinator.com/reply?id=7801045&whence=item%3fid%3d7800811