Re: RPKI coverage statistics