neo vscode marketplace proxy — see docs/operations/webide-marketplace