Re: [dns-wg] Root DNS incident on June 25