PSA: On big files, ripgrep (rg) is really significantly faster than grep, the hype is real!