> 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