Ugrep-indexer: A monotonic indexer to speed up grepping by >10xgithub.com/Genivia4 pointsthunderbong3 years ago