Search: Move case sensitivity to the options panel

[CawlinTeffid]

Looks like this will be happening:

@WhiteNoise

In a future iteration, we will remove this button and add a toggle in “Search settings”