Description
The generated user manual has a hard-coded version string. That should be resolved dynamically during the build process, possibly by using some sort of resource with property substitution, or perhaps in the same way we generate the docs for the configuration properties.