Adds a “Download VSIX” button to VS Code Marketplace pages, keeps it there, and saves the file with a proper name.
