.ssh/config: update