"""DNS tools"""