Re: [Cocci] [PATCH 4/4] coccicheck: add indexing enhancement options

[SF Markus Elfring]

> in practice though this seems to not perform better than
> regular grep however its expected to help with some use cases
> so we use that if you have no other indexing options in place
> available.

Would you like to fix a typo in this paragraph?

Regards,
Markus