Plugin to make life of sysadmins easier who deal with large number of servers

SSH hostnames can be long and it's boring to type the user@hostname every time.
Out of frustration, I developed this plugin.

It uses an associative array to map nicknames into actual user@hostname or extra options/whatever.

The plugin file has documentation.