So shrug it off and pretend you didn't read it. Thumbs down is used incorrectly on every forum that has it, i.e., its mainly used when you disagree with the other person's opinion and has nothing to do with whether he's trolling or not...and lets face it it'll be no different here.