Let me start by stating that I participate a little bit in this site, in the form of upvoting questions and answers and, as of today, flagging comments.
Earlier today I came across 3 comments from the same user which were in disaccord with a notice from a moderator. One of them did state that this site is actually a discussion forum, and I provided another comment meant to explain that it isn't, along with a link to the official FAQ. Aditionally, I flagged these comments for moderation.
Now that they are no longer, I wish to delete my comment, but it's not possible:
and just like the message states, neither me nor anyone can now flag this comment as obsolete.
Is preventing users from deleting their own comments in locked posts a thought-of feature, or is this a "bug"?
Link to question: Why are terminal consoles still used?