browser dock search: add normal syntax (with wildcards at begin and end) and case insensitive search, both default (implements #9493)