[diversity] Latest RIPE diversity numbers