Fix typos in user manual #4732

Job	Run time
Prepare CodeQL unit test matrix	4s
Run unit tests (cpp, 2.21.4, codeql-cli/v2.21.4, codeql-bundle-v2.21.4, ubuntu-latest-xl, codeql-...	2h 32m 33s
Run unit tests (c, 2.21.4, codeql-cli/v2.21.4, codeql-bundle-v2.21.4, ubuntu-latest-xl, codeql-cl...	47m 9s
Validate test results	3s
	3h 19m 49s

Provide feedback