May I propose an additional falsehood?

"Users won't want to turn search highlighting off."

Maybe it's just me, but this[1] seems distracting.

[1]: https://docs.python.org/3/library/pickle.html?highlight=pick...