Update documentation for paths.include/exclude

[mjambon]

This clarifies and few things and matches the upcoming implementation.

Please ensure

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

[netlify]

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

Name	Link
🔨 Latest commit	50fe974
🔍 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.

[s-santillan]

lgtm!

[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.