The user manual or its source code should be included in the repository (apparently I have to go the REFRESH web page to find it currently).