Elon Musk really loves his jokes. Since he’s the world’s richest man and the boss of several high-profile companies, that means everyone around him has to love them, too. That probably isn’t a point ...