Hi all – the marketplace shows extensions that are available on OpenVSX, which may differ from what you see in VSCode. If you’d like to switch the marketplace backend, we added a setting for that in version 1.1.3, though please note that switching the marketplace is not officially supported.