I vote for the ignore button as long as it's thread based, I don't want to ignore someone entirely just because of a few heated comments, when all I want is to "clean up" a thread that might be getting off-topic.