Update documentation for paths.include/exclude

[mjambon]

This clarifies and few things and matches the upcoming implementation.

Please ensure

• [x] A subject matter expert (SME) reviews the content
• [x] A technical writer reviews the content or PR
• [x] This change has no security implications or else you have pinged the security team
• [x] Redirects are added if the PR changes page URLs
• [x] If you have changed any header tag links (doc/#this-kind-of-anchor), update all instances of that link

[netlify[bot]]

✅ Don't forget to add /docs at the end of the deploy preview site URL!

Name	Link
🔨 Latest commit	50fe97426e68167402dca2ea3e01df62779a50c4
🔍 Latest deploy log	https://app.netlify.com/projects/semgrep-docs-prod/deploys/6825043736365e0008d80314
😎 Deploy Preview	https://deploy-preview-2144--semgrep-docs-prod.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify project configuration.

[ajbt200128]

blocked until https://github.com/semgrep/semgrep-proprietary/pull/3859 is merged and released

[mjambon]

I need to revise this to accurately reflect the new semgrep behavior (as of 1.129.0): glob patterns containing a middle slash such as foo/bar are deprecated. They're unanchored but will become anchored in a few months.