I changed hosting platforms for the VM hosting the mirror, so I now have
new IPs. I would like you to change the DNS records to point to the new
Please notify me as soon as you make the change. I will leave the old VM
running for a few more days in order for the DNS TTLs to expire.