Re: [galaxy-user] downloading huge data sets from history using wget