What writes to the known hosts file (`~/.ssh/known_hosts`)?