Greatly improved download experience: when the C# extension is downloaded from the VS Code Marketplace