I don't know that I've ever reported anything to the mods here. I might have. My process is usually to decide if it's something I can handle myself (and not by starting a word-war; that's not handling a problem, that's escalating it) and then to decide if it's someone I can ignore on my own.
I have, in the past, bemoaned the lack of an Ignore feature on here. But in the end, the people I most wanted to ignore aren't around anymore, and I am. Sort of "The best revenge is to live well" writ small, I guess.