Editing: ssh_host_ed25519_key