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.