Aero — a lightweight, AI-ready code editor