This is wonderful. I wonder if there could also be a way to specify a user... for example if I had an IP ending in .123 to which I want to connect, if I could type
ssh another-user 123 to generate ssh another-user@192.122.122.123 or ssh 192.122.122.123 -l another-user ?