i really think that a basic wikimedia style wiki would help immensely though
what exactly is it about a stupid git repo that is so much better? it's not
wiki talk pages automatically relate to the spec they describe
pull requests are entirely dependent on human annotation and not intuitively linked together, and are very important because those spec changes tend to end up in the master branch long after it's been in use for a long time