3 ms·Is not that the differentiator between vscode.dev/github.dev and GitHub Codespaces or Eclipse Che.by oaiey 5y agoIs not that the differentiator between vscode.dev/github.dev and GitHub Codespaces or Eclipse Che.