And there goes the "Open" part of OpenDNS. With Cisco's strong ties to the NSA and with its general attitude of supporting censorship in many countries around the world, I'd stay away from using OpenDNS' servers from now on.

I think https://www.opennicproject.org is a nice alternative.

I'd probably be very vigilant about their future contributions to Libsodium as well.