[galaxy-user] Fwd: Question about Samtools filter in Galaxy