So will Elon Musk stand down as CEO now that he has lost his poll?