chiark / gitweb /
resolved: we don't need the DNS server "source" concept anymore, remove it