Re: [dns-wg] post-mortem for ripe.net DNSSEC problem on 1 November 2023