duplicate some information from the wiki page of the project, which is apparently not part of the git checkout.