Use full Pegasus version string in user guide