Re: [galaxy-dev] How we found the filenames of all of the Galaxy datasets