Argh, I wrote "But prior to Ubuntu 12.04, NM didn't start a local nameserver at all; no DNS lookups were done externally and /etc/hosts wasn't respected then either." There's a typo in there. I meant to say:
But prior to Ubuntu 12.04, NM didn't start a local nameserver at all; DNS lookups were done externally and /etc/hosts wasn't respected then either.
Argh, I wrote "But prior to Ubuntu 12.04, NM didn't start a local nameserver at all; no DNS lookups were done externally and /etc/hosts wasn't respected then either." There's a typo in there. I meant to say:
But prior to Ubuntu 12.04, NM didn't start a local nameserver at all; DNS lookups were done externally and /etc/hosts wasn't respected then either.