Funny thing about Theia is that it is based on the only thing MS made themselves - Monaco editor.