[routing-wg] RPKI performance metrics; your help requested