Quickly remove an entry from known_hosts
Remote host identification is cool and all, but for device development, here's a little helper to ease edits of your `known_hosts` file.
Tags: ssh, shell, fish