It would be nice if the plugin implemented smartcase: if there is an uppercase letter in the input, use case-sensitive search; otherwise, use case-insensitive search.