[dns-wg] AAAA records to be added for root servers