One of the Cursor co-founders left the company