Re: [galaxy-dev] Plans for Docker image generation in galaxy