TIL, I thought we covered the ground when grepping for Aide. Funny that its also an editor
It is a pretty well established IDE. I used it back on a Nexus 4 when that phone was actually "recent" to give you some context.
I do remember the Nexus 4 (jelly bean OS). I was fascinated at the time that you could play games on Android and ran the emulator for android on my desktop at that point (I was young and needed the games haha)