3 ms·It's based off of Theia, so isn't it another VSCode spin off?by monocasa 6y agoIt's based off of Theia, so isn't it another VSCode spin off?