#110: case_insensitive flag in fixed search engine done