I have just started a new documentation repository here using GitHub pages.
Nothing much on there yet, but will be filling in the gaps as best I can. Contributions are as always very welcome!
We've stalled several times bringing the old MediaWiki back online, due to server problems, outdated versions of the software, and... well, MediaWiki. Hopefully this will be more reliable than the old beast.