How is text editing in it? This is what I hate about terminal coding UIs the most: all the text editing experience - the basic stuff like moving the cursor around, copying, pasting - is just broken.