Re: [galaxy-dev] Galaxy Docker and Tool Shed repository for Chinese researchers?