Even if only half of those employees were working on the actual product and product-adjacent roles, it still seems hard to come up with 4500 jobs. In fact I think the number of employees might be what led to a bunch of their missteps over the past many years. Like the multiple interface redesigns that no one asked for and actively disliked.