Example settings for VSCode, to be adopted/moved into a src/.vscode or ~/.vscode directory. While these files are not spec-compliant json, they do indeed work with the VSCode settings. It's likely that VSCode has a custom JSON interpreter for this custom JSON format. Please refer to src/docs/vscode.md for more info.