Notifications inbox was pinged a second time when a comment on a followed post was edited

Question

A screenshot from my global inbox:

A post I follow had a comment added onto it which rightly pinged my notifications inbox. I then clicked through to the notification, bringing me to the comment. Within the 5-minute window, the comment was edited by its poster and I received another notification in my inbox (shown above). The comment was not changed in any way that should have affected me (no pings were edited into the comment of any sort).

---

I thought this was reproduced in the comments under this same post, but that seems to have been deleted or something. Regardless, attempts at reproducing it under the current answer to this question did not work so the current answer would seem to be correct; that there was only a double ping because there were actually two comments (one deleted). So this can be marked status-by-design

Answer 1

(I'm a diamond moderator on the site where that happened which how I can see these what happened)

There's actually two different comments. The comment was posted, edited, and then deleted, and reposted with additions and then edited (thus it looks like one comment that was edited).

I assume you clicked through on the first notification, thus it persists despite the comment being deleted (which IIRC is intended behaviour).

If you hover over the timestamps you should be able to see that the first notification is slightly more than 5 minutes older than the extant comment and that the second notification has the same timestamp.