There is also a related Debian bug[1] about whether the domain specified during Debian installation should be in the global-dns section. 1. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885573