Just thought of a minor addition to the guidelines.While discussion of the naming of the public API should occur on the newsgroup, discussion of the names of locals, or non-public APIs should occur on Github.
Any objections/concerns/improvements to this?
