The grep API returns results in lowercase

[oyvindhagberg]

❗ The grep API method returns results that appear to be converted to lowercase.

Suspected reason: It reads result content from the search cache, where everything has already been converted to lowercase to facilitate easier/faster case-insensitive search. It should read content from the database instead.

• Write unit tests that verify that all the search functions are case-insensitive, and also that they return excerpts in original mixed case, not converted. Note that some of these would fail, indicating the current bug
• Modify the grep API method so it reads content from the database instead.