[dns-wg] Comparing TCP and UDP response times of root name servers