Ah, drama. The one constant on internet forums regardless of the topic.

Look, every fire needs fuel. I don't care how hardcore the troll is, if you don't respond they'll get bored and go away eventually. You can call it harassment or whatever you want, but as soon as you reply to their goads it's entirely your fault. An ignore feature is a total cop-out, and usually won't work anyways. If you're unable to keep yourself from taking the bait then all an ignore feature is going to do is give you something to feel bad about when you click that little 'Show Hidden Post' button.