"the work is done by volunteers. I expect the DNS update and HTTP redirects to happen sometime next week."

Once again, many thanks for all your efforts, and those of everyone else involved.