Re: [diversity] Latest RIPE diversity numbers