[Rockabye]

While I disagree with an ignore function for reasons largely already stated in this thread, I also believe that the issue should be raised with the person you're having a problem with before it's even reported to a GM. If you politely let them know that what they're doing is disruptive, some of them might correct themselves without the need for a moderator to step in (a moderator is usually not a necessity for reaching compromise between two understanding individuals, so it doesn't hurt to try). I believe that disruptive players should be reported to a GM only after that effort has been made.