It's just VSCode running a remote session. It's not a web based IDE.

You can also ssh into the workspace and you can do w/e on the terminal (runs in a k8s container).