Ripgrep 15.0.0

• October 18, 2025