[routing-wg] follow-up on RPKI open house: are CRLs used?