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.
They probably have nothing better to do in their life, or they are doing it intentionally to prove the point.
I think Ignore button works perfectly in this situation, unless in some weird way someone enjoys wasting time.
Banning trolls don't work most of the time as they just create new accounts.