Add ED25519 SSH host key fact to example in docs