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