Ripgrep 12 Is Out | Hacker News Reader