Twitter tenía más de 7.000 empleados antes de que Musk tomara el control de la firma a finales del mes pasado.