Checking, did @pumpdotfun say what happened to the remaining 2.5% initially allocated to the PUMP ICO? That's 25B tokens = $100M, not a small amount, esp considering so many KYCed wallets didn't manage to get in.
2,41K