Installed. Nice little utility. As others probably do, I have ~/.ssh/config set up so that it's as easy as `ssh us1` to SSH into a server.