Leaner SSH host representation