On 2015-09-13 19:09 Karl Auer wrote: > Alternatively you can use wget to first download a list of available programs, then download the ones you want using the secret URLs in the list :-) [...] Excellent, thank you!! I'll investigate further later on... David L.