[Bug]: highlighting is incorrect when searching words v4.8.69

[ddgotyou]

Attach (recommended) or Link to PDF file

[

compressed.tracemonkey-pldi-09 (12).pdf

](url)

Web browser and its version

chrome

Operating system and its version

mac os

PDF.js version

4.8.69

Is the bug present in the latest PDF.js version?

No

Is a browser extension

No

Steps to reproduce the problem

search words -> highlight all

What is the expected behavior?

Other version can make it right, like this[

](url)

What went wrong?

Hi,
I found that when searching words, highlighting doesn't matches words precisely in version 4.8 or 4.7. But it works well in lower or higher version.

you can see the word 'trace' doesn't matches correctly in [screenshot.](

)

Could you please help me to fix this problem ?
Or you can recommend me a stable version to change. Our project is using node v18.18.0

Link to a viewer

No response

Additional context

No response