OpenAI is leaving Cursor in November — here are your 3 options Tom's Guide