The user manual in PDF format