Things are a little chaotic right now because "move the documentation from the old and outdated Wiki that OpenID login keeps breaking on to Github where we do not have to try to keep MediaWiki working" has been on my to-do list for ages and the extremely annoyingly broken tools mean that keeping the documentation up to date is very difficult, but we do try our absolute best!