Re: [dns-wg] follow up of "Update RIPE's DNS Zonemaster"