The patch-1 branch of github-docs does not contain the path code-security/codeql-cli/codeql-cli-manual.