Micro might just be the text editor that brings me back to full-time terminal use! On a related note, when are we going to get a proper Terminal app for iOS?