Re: Discussion: Config format for known machines and ssh keys