Loading annotation for vscode.dev