Nowadays, openssh stores the hostnames in ~/.ssh/known_hosts in a hashed form. If I understand correctly, this is to make it harder for an attacker that has gained access to the file to find out which other hosts might be easy to gain access to by trying to login with the same username/password etc.
Our ssh doesn't use this format when storing keys. It probably should.
Note that this isn't enabled by default in OpenSSH so it is uncertain how popular this is. We've never had a customer request for it.
This seems like it should be closed, moving to -- for discussion.
Although no one has this enabled by default, this is still a security feature, so this may be interesting for us even without explicit user requests. We should keep an eye on it and see how the rest of the ecosystem handles this feature.