{
    // searches are case sensitive by default
    "case_sensitive" : false
}