Sometimes after I have made a comment, I realise it could be better phrased.
If I have missed the ninja-edit window, I copy-paste the comment into a new one, edit that and then delete the old one.
How do notifications work in that situation? Does the person the comment addresses (annoyingly) receive 2 notifications from me? I don't want to be annoying if I can help it. Is the deleted comment still visible for a time or is the notification removed when the comment is deleted?
Just curious.