Update v5 docs

[ernestognw]

Updates the documentation site with #5004 changes

[changeset-bot]

⚠️ No Changeset found

Latest commit: 5c988ce

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[Amxx]

can we fix the slither thing @ernestognw

[ernestognw]

Yeah, looking into it.

It's the same as in this comment. We can fix the slither version for now, but I'm thinking how to do it in a way that doesn't make conflicts when merging back the release branch to master.

[ernestognw]

Seems like this is it: crytic/slither#2415

I'm marking this PR as draft instead, I think it's better to wait for a fix than change it in this branch, given there are pragma-related changes in #5005 we can't cherry pick it too.