Known Hosts file with mixed hashed and unhashed host names Is a Known Hosts file with a mix of Hashed and Unhashed host names valid? Or must the host names in the file be all either Hashed or Unhashed?

OpenSSH does not care if they are mixed. It is able to distinguish if the hostname is hashed or not. The option is mainly for storing the new known hosts.