But in this case it also works very well, I think. I know very few people willing to pay $70 for a text editor, but getting to try it out and verify that it's a really good text editor does change things somewhat.