[djaboss]

`grep -C $NUM` ? ;)

[stephantul]

Even so. Take a look at the NDCG numbers for grep. It's not pretty

[hparadiz]

ripgrep exists though

[stephantul]

The comparison is with ripgrep, see the benchmarks.