[address-policy-wg] Re: the implications of RPKI certificate revokation