@Albin I can't see the one (?) deleted comment, but I can't see any repetition by Ramhound in the comments that you didn't correct all the mistakes. Yes there is repetition in the answer, but 1) each one is under a specific point. 2) It is a very important issue. § To be fair, the first one in the answer is probably redundant, so I'll edit it out.

As for the issue of pinging multiple users (yes, this has also been brought up before ;-) ) If you think it's really necessary, just add more comments that simply say @OtherUsser cc ^. You can always deleted those comments after the user has replied or after a certain time. Adding and deleting such comments won't affect the flow of the comment thread.

… I haven't checked, but I suspect there are a lot of posts around this issue. I don't think posting another one will either result in a change or even a productive discussion as the current situation is probably the best compromise for a complicated issue.