“A lot of that turned into people eliminating waste, especially things like servers and storage that didn’t need to be running, or at least could be scaled down,” said one current employee who was there in 2023. “I don’t know how much money was ultimately saved but...