still on the cloud side, cloud workstations and also the cloud shell gui mode are all theia.

I never understood theia TBH