... after record profits.

> where the company reported a record gross quarterly profit of $1.9 billion.

Not saying that businesses should not try to optimize, but it seems a bit of a dick move to post record profits and cut nearly 10% of your headcount.