v0.0.9: highlight of result follows option ignorecase; custom highlight defined