options to hide duplicates (simplify, ignore-case, unique)
-rwxr-xr-x 1941 git-grep-footer