If the CSS text-transform: property is in use, should the case-sensitive search match the text before or after the transformation? Either implementation could be infuriating, so just doing case-insensitive seems like an easy way around the problem.
It’s worse that it strips what it thinks are accents. Once I needed to search for ñ and it highlighted every n in the page (ñ and n are completely different letters).