Remove the use of VSCodeTag#3983

tuan-nguen merged 4 commits intomaingithub/vscode-codeql:mainfrom

tuan-nguen/remove-vscode-tagsgithub/vscode-codeql:tuan-nguen/remove-vscode-tagsCopy head branch name to clipboard