Re: [dns-wg] RIPE NCC DNS operations update