minor: explicit ssh config domain names example