Users can configure search to be case insensitive. (issue 850); Inline help now reports the plugin that contributes the said feature. Various configuration ...