Just to chime in with an idea to move forwards on the heated issue raised in this Question, rather than try to reverse the issue.
Sometimes a comment is modified by the system, removing a @user: in the begining of the post. This is apparently because the user will be notified in any case.
In such an event, can there be a nice yellow notice box notifying the user that their post has been changed?
This will allow the comment-poster to modify their post, by omitting the @ symbol for example, to specify to whom the comment is written, but without invoking