It would be nice to have an option for case-sensitive search.
I had to search for “L”, which I used as a symbol that stands for some numerical quantity. The search highlighted all occurrances of the uppercase “L” and lowercase “l”, which made it very difficult to identify the occurrances of the uppercase “L”.