Re: [tor-dev] Renaming arm

Did some searching this morning and found another I like almost just as well, and might be more fitting: Erebus.

Actually, I'm warming up to Nyx too, which has the advantage of being shorter. Surprisingly it too doesn't have much in terms of conflicts (mostly just cosmetics and gaming).

Both Nyx and Erebus might make really good names. Curious to hear how the community feels about these.

Cheers! -Damian