Comment Comment by nerdkid93 I wonder if it is the followup to this conversation from last year when https://grep.app was released: https://news.ycombinator.com/item?id=22397728 parent nerdkid93 4 years ago