Adds information about provisionally ignored triage state

[Sheethala]

Thanks for improving Semgrep Docs 😀

We added a new provisionally ignored status on the backend. The docs update some pages to reflect this new information

Note: This is only available to customers who have the feature flag on, and this will be rolled out to everyone in early December

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	c2e6fbe
🔍 Latest deploy log	https://app.netlify.com/projects/semgrep-docs-prod/deploys/6924d8c42ca14d00084b1dc8
😎 Deploy Preview	https://deploy-preview-2408--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.

[khorne3]

Hey @Sheethala! I have a PR going for BNGD, so I moved the content from this PR to that one. Let me know what you think!

[Sheethala]

Hey @Sheethala! I have a PR going for BNGD, so I moved the content from this PR to that one. Let me know what you think!

Oh amazing thank you!!
@khorne3 quick question about when we may be launching these docs? Wondering because there may be a few things to update in the backend so that the correct values are reflected in the Open API docs's and wanted to get your thoughts on when best to make that change
ty!!

[khorne3]

@Sheethala, because there are UI changes referenced in these docs, I'd like to ship these as close to GA as possible. If not, I think the docs should lag a bit, since having the docs precede the feature could confuse users