Re: [galaxy-user] Finding Galaxy version