Re: [galaxy-user] TopHat version in GALAXY