[galaxy-commits] commit/galaxy-central: greg: Speed up the searches for tools and workflows contained in repositories in the tool shed.