Purpose This repository contains an export of the former MediaWiki installation to preserve the content while the MediaWiki instance went offline end of 2020. Please use the GitHub search to browse through the markdown files.