Yeah, especially when they could use something like Theia[0], which I believe was built for this kind of purpose? They both still use Monaco under the hood AFAICT. I'd be interested to know if they considered it and decided not to use it for some reason.