Re: [dns-wg] heads-up on dec.com domain