My biggest problem with Theia is that the menu structure and appearance/feel is very different from the actual VSCode editor I am used to on the desktop. This was not the problem with Codercom. It reduces friction to move from the desktop to the cloud. If this could be solved, I would certainly prefer theia more. At the moment, I just can't customize it enough to get to my liking: https://news.ycombinator.com/item?id=19396894