You're welcome! I'm glad to hear it was indeed a bug and that you were able to fix it.
Also, glad to know doing the u/AOU (broke it to not double ping with my reply, not sure if that would happen) still pings just as an @ does. I edited the comment afterward to change it to an @ instead of /u/ but then realized it probably only pings upon submitting a new comment with the ping in the body and adding a ping in via an edit likely doesn't trigger the ping to be sent. Helpful to know for the future.
That's correct. both /u/ and @ are only notified when submitting a post and ignored when added in an edit.
(post is archived)