Re: [galaxy-dev] Some NGS tools not available on local Galaxy install