Elon Musk tweeted that joke too. I find it pretty annoying, he's a senior staff engineer, and that is pretty rude to denigrate him in public like that. Hopefully they know each other well and it's a running joke or something.