Comment on Ask HN: What are the chances Musk, for some reason, will give CEO to Holtz?