Re: [dns-wg] Announcing a covering prefix for the K-root server