Merge branch 'dev' into kit/ripgrep-schema-source

Parents: a7576a7 , 1dc6935

Committed by GitHub <noreply@github.com> on 4/13/2026, 5:45:51 PM