Either is fine. Really, I just want the particular person who is referenced to stop ruining my enjoyment and contemplation of the points in certain feeds.
I like comments around here most of the time. They’re either insightful, helpful, or funny. There’s others that “troll” some of this specific feed’s comments, but they’re not persistent, and I wouldn’t block a person for an occasional thing.
I think that, in the short term, someone might need to at least give this particular user a warning that publicly commenting is a privilege and not a right even if they’re a paying customer. If not, my favorite feature of a particular forum I’m on is the “troll feeding prevention system” – certain users’ posts and comments just don’t show up for everyone else. I happen to, uh, know that it’s implemented by a “and userid != footroll” in the query that displays comments … it’s ridiculously hacky, but it works pretty well. Sometimes we even remove people’s IDs from the exclusion list.