dns.hpp: document the code