Public the ripgrep guy is dying or something burntsushi.netetctechurl RetardedCrapweasel Pseudonymous user 8d 21d 0 0