That’s a good point. UPDATE: I ended up backtracking and making sure that ‘micro’ was installed. I tried it out, and after reading the built-in help (ctrl-g), I found out that most of the keyboard shortcuts are totally conventional and familiar and easy for me to remember. So I’m gonna use that one in case of an emergency. Thanks for your insights, guys.