Yes. It’s newby-friendly, what is great for the time every 2 or 3 years that it opens in my face and there’s no alternative editor installed. Copy and paste are there too, but there’s no reason to use them instead of the terminal buffer, so I can edit things in an editor I like. I just wish it made it easier to delete several lines at the same time.