The make targets `make vscode-project-*` create a VSCode workspace in the build directory. Unfortunately, some configuration values in the templates are not valid anymore, because they are capitalized.

For example, after building the vscode-project-clangd target, VSCode complains that the value "Disabled" is invalid for the setting "C_Cpp.formatting".