Re: NetworkManager DNS bug