phaolo: Btw, now we'll also need an option to select the Galaxy-less installers, instead of the default ones..
Well, since we don't know that if GOG goes with the "two different sets of installers, one with Galaxy and one without" (which IMHO is a braindead solution to a problem that shouldn't exist, and potentionally causes lots of new issues), how they will do it, then we don't know yet if there will be any meaningful way to skip downloading them wilth mass-downloading tools like gogrepo. It all depends how clearly and coherently GOG would differentiate the two different sets. The worst thing would be that they start using several different ways over time, or they simply slap the different installers under different subtitles, and the tool is somehow supposed to differentiate them by the subtitle above the links (yeah right).