public File getSSHPubKeyFile(String username) {
		if (!userList.containsKey(username)) {
			return null;
		}
		File f = new File(sshDir, username + SSH_PUBKEY_EXT);
		if (f.isFile()) {
			return f;
		}
		return null;
	}
Get the SSH public key file for the specified user
if it exists.
@param username user name/SID
@return SSH public key file or null if key unavailable
Ghidra/Features/GhidraServer/src/main/java/ghidra/server/UserManager.java