I don't know whether to suggest that this goes on wikitech or on mediawiki. Wikitech fits better, but mediawiki is where most of our stuff is. Fortunately, it's super easy to move if someone complains, so let's just go with putting it on mediawiki.org.