Before Musk led a $44 billion leveraged buyout of Twitter last year, Twitter’s headcount stood at about 7,500 employees.