well yes, but it's "only" about $1.5 million

while tech giants gamble about billions on a daily basis

IDK what PSF would have done if there were billions involved… maybe the same thing, maybe something completely different?

I mean… even "just take the money and spend most of it on DEI" becomes more viable with $1.5 billion?

It's a good thing they did what they did and they sure deserve to get double of those funds simply for that… only I wouldn't try to compare it that directly.