> 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