(That comment wasn't flagged: that entire user account seems to be hellbanned as of over a week ago, so every post that the user makes is automatically deleted; flagging a comment does not simply cause it to be immediately deleted.)