I recently flagges three comments on an answer to be "unfriendly or unkind" - The reason was that the comments said "you are so boring" (direct quote, addressing the OP of the answer) and something like "you are too stupid to understand it" (a bit exaggerated, no direct quote since I don't remember the exact wording).
Now I realized that these flags have been declined, the comments have however been deleted.
So my question is: Was this due to a technical error or should I have used another flag or done something different at all? The only explanation that I can give is that a moderator (or someone else reviewing the flags) decided that the type of flag wasn't correct and then deleted the comments themselfes. However, the used flag seems to be the best fitting to me in this situation.
Should I have acted differently?