Update DNS records for .ooni.torproject.org domains
To make it easier for us to manage where these domains point to it would be great if the records for the domain explorer.ooni.torproject.org
were to point to explorer.ooni.io
and the record for ooni.torproject.org
pointed to ooni.io
.
The most high priority is the update of explorer.ooni.torproject.org as we are launching that today and we still have places where we link to explorer.ooni.torproject.org instead of explorer.ooni.io.