Update the manual

The package version is dynamically set at compile time.
We use this commit to increase the version number to 2.5.2.