[galaxy-commits] galaxy-dist commit 40bfc0def292: Improvements to tool search: (a) search tool title, description, and help and (b) set minimum score for searching to remove very poor results.