If it were up to me I probably wouldn’t have banned him, but I get why they did. Imagine the same post but replace “Elon Musk” with someone prominent on the left. Don’t you think there would be huge pressure from the user base to ban the poster?