IMO, withdrawing this proposal makes the most sense. Continuing with it would only be worthwhile if the same approach to recovered space was being followed by the other RIRs. Since that's no longer possible, I think we should just stop flogging this dead horse.
A global policy was proposed. Three RIRs accepted it. ARIN did not and proposed a different text. Now it is RIPE's turn. Do we accept ARIN's bid, and approve the same text as ARIN, or do we accept the same text as the other 3 RIRS, or do we reject the global policy outright. Those are the three choices. To continue the global policy proposal, RIPE should accept the text. At that point it is up to ARIN whether or not to change their mind. To reject the global policy, RIPE can simply reject this text and that will likely be the end of it. Or, RIPE could accept ARIN's bid, and adopt the ARIN text. That keeps the global policy in play and puts the onus on the other 3 RIRs to either accept the ARIN/RIPE text or leave the proposal in a stalemate. There is a fourth way, which is to modify this text, but that is really a form of rejection, coupled with a local policy proposal and only makes sense if it does not require other RIRs to act in accord. --Michael Dillon