Somebody posted rude and offensive comments on their own question, reacting to one of my comments. A while later, they deleted the question. I have only noticed the comments after the post has been deleted.
I have the necessary reputation to see deleted posts and the comments are technically not deleted. The "flag" option still seems to be active. I wonder if I should use it? I don't want to create extra work for the moderators and I know I should just shrug it off, but if such flags are somehow accumulated for the perpetrator I would certainly like to make an official note of their bad behavior.