GitLab der Philipps-Universität Marburg
Improves the documentation, with the main goal to split up between usage and development.