The manual in pdf format