Re: [dns-wg] Changes to RIPE DNS Infrastructure