I wish there was a way for clients to respect deletion -- maybe even at the individual's discretion. Main reason I've wanted to use deletion is correct spelling mistakes / edit things I've posted! Could get best of both worlds by just treating deletion like a hint for clients to hide it by default -- even though it is still *there*.
Discussion
I vote for a revision approch. Let the user edit his notes and kindly ask the clients to update them, but knowing that the full history can however be saved/showed by relays/clients, too.
As #[4] talking about this remembered us, nothing is really deletable when published online, so in a decentralized network is a nonsense fake a deletion, client/relay can always permissionless save and rebroadcast.