vscode.dev で GitHub リポジトリをオンライン編集 ― 必要なのはブラウザだけ