Different types of problems need different responses:
- Breaking the law; that should be punished, and theoretically could be done through mechanics (saving GMs time). No player punishment here, only character punishment.
- Breaking the rules of the game (disrupting); that does need to be addressed by GMs, as a priority, and punishment may be applied if disrupting is clearly intended.
- Lousy RP. Well, I won't report someone because he used my name before we met, or because he says things like Q254. That's no crime, and certainly not worth wasting the time of a GM.
- Conflicts of styles (as in Illysia's examples) are the ones that should constitute the most interesting, and difficult, part of GM arbitration.
About the poll, I'm no GM and have no clue about what they actually do. If there is a lot of disruption going on, then it looks like there isn't enough moderation; yet, if the GMs manage to deal with every /report they receive, there isn't much more to expect. When the game will work fine, I'm sure they'll have time and fun arbitrating dilemmas, but in the mean time, they can't police everything. Players have to be patient; they have to expect loopholes, inconsistencies, and deal with them themselves as much as possible. Sorry Aiwendil, but a lot of things in your tiny list are not GM material. Well, I'm going to vote "strict enough" then, because the moderation is probably adapted to the demand (including extra efforts when the level of complain rises).
One more thing: how about a thread dedicated to reporting disruption? No complains, just facts, so it can be used as a disruptometre. I do mean general disruption, or lawlessness, not private arguments and RP conflicts. Just the place and GMT time, no names, and a short line like "6 guys fighting with weapons and spells", or "a kran running in circles while shouting loooool". Maybe GMs would have a use for it.