Re: [galaxy-dev] Setting a file download link in Galaxy help