In my server, the hostname and IP addresses are added to the known_hosts which then be hashed by ssh-keygen -H -f. Is it possible to check if an IP address has already been added to the hashed known_hosts to avoid duplications (I think there will be problems if there are duplicated IP addresses in known_hosts)? Or delete the entry if there are duplicated hostname and IP address in the hashed known_hosts?