it isn't about who did or didn't report him. reports are anonymous for a reason, you shouldn't feel discouraged from reporting someones post.
i reported him. so go ahead. if that's how things work around here harass me for it (not directed at you specifically DT). you know what'll happen? i'll report every harassing post, and you can have an infraction, too.
i found his first post uncalled for an offensive. i found him bothering to quote of my lengthy (possibly preachy) posts only to reply with one word (not once, but
twice) as baiting/trolling.
Posting and Forums: A User Guide
so yeah, i think his infraction was deserved. 4 other people seemed to as well, otherwise i would have been the only one who reported it.