Ask HN: How Many Left working/employed at Twitter?

After all the firings, people leaving due to Musk, etc, how many of the 7500 people are actually left working for Twitter? With all the stuff around going "hardcore" or going home, forcing people back to the office, etc, how many of the people who were not fired (let's assume 3750, given that's half the 7.5k) have left since? Ideas? Estimates?