Re: #4149: Need a way to point EC2 instances to specific mirrors