Since trolls don't get banned, and they feed on attention, I just click Ignore. But that's not for everyone: I don't get why people are still posting in self-moderated topics when the warning on top shows all 25 posts have been deleted.