Hello, After installing ubuntu-18.04 I found there are the lines in /etc/resolv.conf: nameserver 127.0.0.53 options edns0 I am not familiar with Linux enough, having questions that: why does nameserver set up to this address rather than a public DNS such as 8.8.8.8? How to disable it? what is options edns0? Thanks.