This page is obsolete. We can now use the wiki pages on GitHub.