Re: Proposal to mirror Docker images