To run, the extension needs the four source files in src/ and these 16 files. However, the way the extension is packaged just makes a zip out of the npm dependencies, so we completely unnecessarily bundle >900 files from node_modules (try running zipinfo elpi-lang-0.3.2.vsix | grep node_modules | wc -l)
To run, the extension needs the four source files in
src/and these 16 files. However, the way the extension is packaged just makes a zip out of the npm dependencies, so we completely unnecessarily bundle >900 files from node_modules (try runningzipinfo elpi-lang-0.3.2.vsix | grep node_modules | wc -l)