@FelixPax You post some curious things. Tell me, did anyone ever ask RJ anything about Ila?
Ila is a very mythological name, though. I suspect you are right about its origins.
Though remember, not all of the names are intentionally from mythology. Some just felt right to him, so he chose them.
If you are viewing this on github.io, you can see that this site is open source. Please do not try to improve this page. It is auto-generated by a python script. If you have suggestions for improvements, please start a discussion on the github repo or the Discord.