However, this seems like an excellent opportunity to gauge the feelings of the GNOME community around this, and I've accordingly constructed a (in my belief) quite non-leading survey in order to see what people thought.
If anyone feels I'm engaging in "push-polling" here, please let me know, and I'll be happy to make any reasonable changes. I'd like to see this so-called "issue" settled once and for all, if only so that it doesn't get made into a hobbyhorse in future Board elections.