Elon Musk has laid off a massive number of Twitter employees.