Re: [galaxy-dev] TopHat and other tools with too many options