next-generation code editor (ZedAI)