That’s the thing, it might have been company funds. Back when Sony bought Bungie, they made a giant fund for severance in case of layoffs, so that devs would have a bit of a safety net if worst came to worst. Fast forward to October 30th, 2023, and that money is just… Gone with the wind. My facts may be a little muddled but I’m fairly certain that’s how it played out.