Re: peerdns=no, NetworkManager, doesn't work?