@vjuranek BTW this is needed after your 23c7e5bb10f83e906eaaef748460b9817e4f5bbb. `isCaseInsensitive` is apparently somewhat expensive, and the current code calls it once per item.