Our wiki is showing signs of old age and general lack of maintenance, and I am thinking we should take it down at some point, as there is not much useful content there anymore. One of the things that's still there is our old coding style guide, which I've now reformatted and updated (mostly by removing stuff) a bit with github markdown.