Ellis Kesterton

After some digging, it seems these names are generated from the code that deals with the so-called "Nat hack". https://github.com/idris-lang/Idris2/blob/3e24119f0caa999f0a49b833b9ed9e576694f4ba/src/Compiler/Common.idr#L323C1-L323C75 Seems plausible that these names could be included only if...

I agree that modifying `.profile` is better than `.bash_profile`, so that other SH compatible shells will be supported too. Honestly I don't see how modifying `.bashrc` is any simpler than...