Currently, case-insensitive search relies on `String#toLowerCase()`; instead, it should detect the page's language, and use `String#toLocaleLowerCase()`.
Currently, case-insensitive search relies on
String#toLowerCase(); instead, it should detect the page's language, and useString#toLocaleLowerCase().