DNS queries for arduino.cc are dropped by IPS

I see this post with the same problem.