GitHub repository: leandre0/VSC-extension-downloader
Primary language: Python
Description: VSCode removed it's button to download manually any extension, so this code takes a custom link with the extension name and publisher name in param and downloads the file