Why the hell do we want to go to arbitration? We have a nice simple informal consensus which makes it clear what the name won't be. We don't need formal process when the majority intent is clear. Enough time wasted already.  / (talk)