3 ms·I'd also suggest https://greppr.org https://greppr.org (Disclaimer: I built it).by saltysalt 2y agoI'd also suggest https://greppr.org https://greppr.org (Disclaimer: I built it).