{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreigekkc3qr4y27tqonwnlvzrlyj7vsdkq55t4shlxirlmn3qh4a4ra",
    "uri": "at://did:plc:34cg4tn4iwemk3v5k3n3adwf/app.bsky.feed.post/3mem6tujervm2"
  },
  "path": "/t/any-good-text-editor/34073#post_5",
  "publishedAt": "2026-02-11T18:11:36.000Z",
  "site": "https://forum.f-droid.org",
  "textContent": "Thanks, these are pretty close to what I want, but not perfect.\n\nMarkor has search and replace, but syntax highlighting doesn’t work (I tried HTML).\n\nThe second one has syntax highlighting, but no replace option (only searching).\n\nThe third one has neither syntax highlighting nor replace option.\n\nI guess I will have to fork the one of them myself to add a replace feature",
  "title": "Any good text editor?"
}