Re: [galaxy-user] Filename extension in new tool