snipped to a ~/.ssh/config for server nicknames