Open
Description
I used to download a hls release from github, last time I did this for 8.10.7, the resulting file took 140M. Now I tried ghcup because there are no longer hls releases and it had to download for five different ghc's which altogether takes up 1.9G.
Can/should ghcup at least strip the .so's? That brings e.g. lib/8.10.7 down from 348M to 261M.
(It'd also be nice if it could just download the hls for the ghc I'm actually using, but I can understand if that's more complicated.)