Remove `user` arg from ssh.recv_known_host. Fixes #4822