VS Code extension

Settings and troubleshooting

Configuration options and the fixes for common problems.

Coming soon

We are still writing the settings and troubleshooting page for the VS Code extension. It will land here as soon as the extension is generally available; nothing else on this site depends on it in the meantime.