Linux Mint 18 com problemas de DNS

Atualizei para o Linux Mint 18.1 Cinnamon e, após utilizar por algumas semanas sem problemas significativos, um problema temporário com o DNS  da operadora acabou virando uma pequena dor de cabeça.
Após configurar com sucesso o DNS do Google numa máquina Windows e na minha instalação anterior do próprio Mint na versão 17.1, misteriosamente, a 18.1 não voltou a funcionar, me deixando na companhia do dinossauro saltador de cactus.

O ping para IPs funcionava normalmente mas com nomes, não. Claramente um problema de DNS.
Pelo que pude pesquisar, não é um problema comum, mas acontece eventualmente.
A solução que funcionou para mim foi a seguinte:
No arquivo /etc/NetworkManager/NetworkManager.conf basta comentar a linha dns=dnsmasq deixando ela assim: #dns=dnsmasq
Após salvar essa configuração e reiniciar a rede, tudo voltou a funcionar normalmente.

Fonte