https://github.com/github/vscode-codeql/pull/2268#discussion_r1158475799
https://github.com/github/vscode-codeql/pull/2268#pullrequestreview-1371042057 Still need to consider how to ensure that the extension picks up the right config.