Any good text editor?

No, I don’t need web editing features, just a simple offline text editor with basic syntax highlighting and the search/replace feature. Markor does have syntax highlighting but it didn’t work for HTML, maybe it’s a bug, or maybe the syntax highlighting is only for Markdown files.