API Specification#

The VS Code extension is a client for this HTTP API.