ripgrep is an amazing tool, thank you for your hard work!