I disagree, nothing in the issues text says they are forbidden to use the server. It's not a problem for Google, it's a problem for distributions which don't change the default.
If Google removed the DNS entry they'd have to reconfigure all of their own servers, too. Not very probable.