Extension Marketplace for code-server