search: Case insensitivity is a good thing

It could be an option but.. options are usually clutter.

Signed-off-by: Carl Helmertz <chelmertz@op5.com>