> On Aug 24, 2015, at 1:50 PM, Robin Sommer <robin at icir.org> wrote: > > Seth, any opinion on whether to take it out? I suspect it’s probably ok. The biggest offenders are patterns that start with .* Although I do remember that there was some issue with patterns that repeat a repeated body. .Seth