> That'll open up an instance of _VSCode_ in a web browser and you can start coding

GitPod actually runs https://theia-ide.org/, not VSCode, but Theia is compatible with VSCode extensions, and they've themed it to look practically identical, so it's definitely not super obvious.