[galaxy-commits] galaxy-dist commit 9a7482206be2: Tweaks to taxonomy tools