Fix SEO issues: add redirects for three deleted pages - #338

Fetching and validating config file...
Successfully validated docs.json
Fetching .mintignore file...
No .mintignore file found
Fetched all file paths
Fetched 0 OpenApi file(s)
Fetched 0 AsyncApi file(s)
Generated OpenAPI pages for navigation
Skipped AsyncAPI navigation generation
No SDK reference pages configured
No GraphQL reference pages configured
No GraphQL deployment changes required
Persisted 93 generated API page(s)
No GraphQL deployment changes required
Successfully updated API reference metadata.
Updating all paths...
Failed to parse page content at path performance/checkpointing.mdx: Unexpected character `!` (U+0021) before name, expected a character that can start a name, such as a letter, `$`, or `_` (note: to create a comment in MDX, use `{/* text */}`)
Updated deployment with errors
Successfully saved config
Updating navigation...
Navigation updated
Skipped search indexing (preview indexing paused)