You seem (and seemed) to be unaware how dismissive your original comment was. In fact that was the entire point of the response. To take issue with that response on the grounds it itself is "unhelpfully dismissive" involves layers of irony.
1. You’re talking about an editor that has been popular across multiple decades and across many many generations of technologies.
2. The editor they’re already using obviously already does things in ways they like. That’s why they are using it. So the odds that their editor will perform the job well for them is also pretty high.
Conveniently, the solution is the editor that thousands of developers have taken time to improve over decades so that the author didn't have to start from scratch.
What are the odds that the solution involved a popular, mature tool that the developer could leverage?
What are the odds?
PS, describing my comment as knee-jerk is unhelpfully dismissive. I'm always keen to engage, and always happy to acknowledge when I'm wrong. :)