Yes, I am aware of:
But now that several years have gone by, I think we can step back and agree that the internet got this right, and Jeff got this wrong. I don't see Github crumbling under the weight of redundant
I don't use SO that much, and I actually wasn't aware of this gotcha. But today I got bit by it and it was extremely... frustrating. First I thought it was user-error, then I thought it was a bug, and finally I stumbled onto the posts above and realized it was a... "feature."
It absolutely violates the Principle of Least Surprise. I'm amazed SO never at least met the users halfway and added a clear alert that a comment is going to be munged.
The underlying debate over redundant notifications is just silly, and can easily be solved in software (again, Github doesn't seem to have this problem if I
@mention someone in a comment who would have gotten notified anyways).
It's time SO acknowledges that this cripples natural internet-speak and changes it. Given the developer who wanted and vociferously defended the change isn't even with SO anymore, I'm hoping this can finally be fixed.