- Update the current pgsphere version in the user manual - Propagate the current pgsphere version into the user manual automatically