Webブラウザで使えるVisual Studio Code「OpenVSCode Server」（関連情報）：GitHub Codespacesとの違いは？