Ask HN: What is the most useful feature in your text editor?