Tucker Carlson applauds Elon Musk for shrinking Twitter's workforce.