Re: [galaxy-dev] Regarding output file name in save option of history