Use better examples of ignore directives in permissive-ignores documentation

Summary: `# pyre-ignore` is unlikely to be interesting to external users, and `# mypy: ignore` doesn't exist.

Reviewed By: ndmitchell

Differential Revision: D103356992

fbshipit-source-id: 74b0374cb4cdcf05348c9ef85ec102c71cc01650

Author: rchen152

website/docs/configuration.mdx

@@ -909,7 +909,7 @@ Path to the root of the repository.
 
 ### `permissive-ignores`
 
-Should Pyrefly ignore errors based on annotations from other tools, e.g. `# pyre-ignore` or `# mypy: ignore`?
+Should Pyrefly ignore errors based on annotations from other tools, e.g. `# pyright: ignore` or `# ty: ignore`?
 By default, respects `# pyrefly: ignore` and `# type: ignore`.
 Enabling this option is equivalent to passing the names of all tools to `enabled-ignores`.