35k is a pretty huge amount better than 150k. Are you just trying to say that it sucks either way? Because that I agree with, but when we criticize things, we should at least have the numbers right.
He’s saying lay off to 150k, not by 150k. He says getting down to that would be a 20% reduction, so that puts the then-current headcount at ~188k, so get rid of about 35-40k people.