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://do

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=pickle#module-pickle https://docs.python.org/3/library/pickle.html?highlight=pick...