And actually, what sounds so awful about a GM intervening the situation? That's one of their jobs, after all.
It can take a GM 20 minutes to respond to a petition, and once they arive it's usually too late to catch the offender in the act.
If the offender stopped offending, I wouldn't care about why he did. And the GM still gets the logs, so all you have to do is to get a confirmation of his harrassment in form of writing. And if this still is not enough to make him stop, and he continues at some later point, just repeat the whole procedure. Some time, there will be a GM available and then I would expect a serious punishment for his repeated deeds of ruining other players' day. That would at least be the case if I was the GM.
