“Levchin and Musk soon clashed on an issue that sounded technical but was also theological: whether to use Microsoft Windows or Unix as the main operating system.”