4 ms·DnGrep is MUCH better.by majkinetor 5y agoDnGrep is MUCH better.sixothree 5y agoThanks much!ivanche 5y agoWow! Thanks a million! This comment alone is worth all the time I've spent on HN this year :)