6 ms·I hope folks know they can use Codespaces in their desktop editor. I never use the web editor.by greggroth 3mo agoI hope folks know they can use Codespaces in their desktop editor. I never use the web editor.