Re: [dns-wg] ip6.int deprecation