Fix typos in user manual #4731

Job	Run time
Prepare CodeQL unit test matrix	7s
Run unit tests (cpp, 2.21.4, codeql-cli/v2.21.4, codeql-bundle-v2.21.4, ubuntu-latest-xl, codeql-...	2h 28m 38s
Run unit tests (c, 2.21.4, codeql-cli/v2.21.4, codeql-bundle-v2.21.4, ubuntu-latest-xl, codeql-cl...	45m 40s
Validate test results	5s
	3h 14m 30s

Provide feedback