Back in the day, it wasn't that PayPal didn't let people buy crypto, it was that you were mad to sell for PayPal credits. The system favoured the buyer so much it was just too risky. So I'm not really sure this policy matters - if nothing else has changed, selling crypto for PayPal creds is just asking to be scammed.