Here's my application: https://manicode.notion.site/Manicode-YC-application-c52f592...
I listed: Cursor, Devin, Codium, Augment, Greptile, Lovable.dev, Aider.chat, mentat.ai, devlo.ai, etc
So I did mention Aider. I was definitely aware that it existed, I just hadn't used it.