[galaxy-user] Bowtie2 and Tophat2 for Galaxy