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