PayPal no longer wants to play any part in the Libra crypto-currency association.