Re: [galaxy-dev] How to include local tools with Docker image of Galaxy ?