Re: [galaxy-dev] "Local install" of Galaxy Tool