> /.../ the elpa-mirror package helps out for the "niche" of > users who need to deploy the extensions on machines that do > not have access to the internet.
I found out about and used elpa-mirror when I worked in Windows Subsystem for Linux (WSL). Its connection with the net was somewhat mysterious to me, and elpa-mirror was the answer. WSL may have improved since then. Yours Rasmus