In case you haven’t seen it. GCP have announced that the cloud shell is using Theia now.
[original thread by Sven Efftinge]