[routing-wg] Towards cleaning up RPKI INVALIDs