Make the search box match literally chars that are special in regexes

Before this change, searching for ? or * would treat those characters
as having their special meaning inside JavaScript regexes.