Yeah, you need the core for the real functionality, the extension just provides the glue that integrates PIO into VSCode. Normally you’d restart VSCode after installing the extension, and the extension would then manage the install of PIO core, but I don’t know how/if you can do the same with gitpod/theia. Edit: Oh, I see you posted about Gitpod and PIO the other week, so yeah, it looks like you should be able to get it all working. or are at least pretty close! 