ripgrep 0.10.0 (rev 8a7db1a918)