.ssh/config: add