Tidied short names in ssh config.