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.
"If Google removed the DNS entry they'd have to reconfigure all of their own servers, too. Not very probable."
That sounds suspiciously like you're saying "I'm going to keep telling everyone to use your service because it's too expensive for you to stop me or them."
I'm not sure it says anything about the other parties involved, but your willingness to knowingly externalize costs onto others says quite a bit about you
It's also almost certainly a bad assumption to make about Google, given that (a) they own the servers (so re-rigging them to just whitelist IPs is entirely possible) and (b) they are a search engine company (so finding the places where they used those servers to swap out the names is entirely possible ;) ).
If Google removed the DNS entry they'd have to reconfigure all of their own servers, too. Not very probable.