Comment # 5 on bug 1200786 from Jonathan Kang

Closing this.

I've talked to upstream developers and they said this behaviour change is not
intentional. But the new behaviour is the one they prefer now. User configured
settings should be prioritized before automatically configured nameservers.