Google Cloud Platform runs Theia

In case you haven’t seen it. GCP have announced that the cloud shell is using Theia now.

[original thread by Sven Efftinge]