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
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.