Ansgar Wiechers points out that known_hosts (at least OpenSSH's) has grown a