Search: case-insensitive

Hi @eneiluj

I improved the new search a bit:

• user input is now escaped before creating a regex from it
• regex is created with i for case-insensitive search
• it now uses test() to stop after first match

:)