ssh/config: consolidate IP and hostalias entries
ssh/config: fix hostname