So I don't think it's that unlikely that any given reader of this has it enabled, tbh.
[1] search for HashKnownHosts here: https://manpages.debian.org/jessie/openssh-client/ssh_config...