Not sure when DDEV will change its default PHP version, but a global setting will prevent some support requests and give control back to the user. Ideally, a global config like this could also be ...

Then you're out of luck. There is no solution until this package is migrated to use a higher version of lcobucci/jwt. See if you can stay on php 7.4, and watch Update lcobucci/jwt to ^4.0 #2088.