Re: [dns-wg] Retiring ns.ripe.net