pub const EDITOR_WEB_URL: Option<&'static str>;
Web URL the editor is hosted at. For VS Code, this is vscode.dev.