Go ahead and browse the IDE at https://[[HOST_SUBDOMAIN]]-3000-[[KATACODA_HOST]].environments.katacoda.com/.
if you have any services running in other ports, you may browse https://[[HOST_SUBDOMAIN]]-[[KATACODA_HOST]].environments.katacoda.com/ and select the port on where the service runs.
We use ubuntu for this environment, so if you want to install something, for example,
do it like this:
sudo apt install build-essential
If you find any errors regarding the playground, please open an issue.
If you find any issues with
theia, let the developers know at the project repository.