Do you know if any users in that thread were actually banned?

I checked out the reddit for the top level posts and it appears that many of them, even the ones that posted the most mean spirited comments in that thread, seem to be active. Most of them have plenty of recent comments with votes and replies.

Maybe the banned had their comments deleted? I don't think that's how it works though.