I was extremely tempted to go to the user’s profile and downvote a bunch of stuff at random.

I decided that was childish and inflammatory and changed my mind, although I do still think it would be a little bit funny. I also did find the mod’s original comment, and discovered you can still downvote comments which have been deleted out of cowardice. It’s now at -31 votes so presumably some other people had the same idea.