../web/ssh-remove-known-host