The wiki has already become useful but is still far from complete. In the meanwhile the Readme.md and other markdown files have become partly obsolete because of the wiki. In addition there are other ways in which the documentation can be improved. Details are provided in the attached issues.