Let's say I wanted to reply to someone's comment, but I forgot to add @user.
If I submit the comment, then realise, edit the comment, add @user, then confirm the edit, does the user receive a ping at that point, or is the ping only registered on originally submitting the comment?
Related (but my question is specifically adding the @user, not editing a comment already containing @user; i.e. my question is not a "re-ping", but a ping at all): Does Editing a Comment with a Ping in it Re-Ping the Mentioned User?