Use vscode.dev for quick edits online!

GitHub, Azure Repos, and local files.