They will be removed in source tarballs so they don't appear in the SBOM.

This is an alternative to#132270 that keeps the symlinks in the repository. This has the following advantages:

• the list of the modules isn't stored in a.gitignore file;
• anymypy.ini configuration files that add theMisc/mypy directory can be used in a local type-checking workflow without running any additional tools.

This allows running type checking without building Python first or running the additional script manually. This is important because the type-checking errors emitted due to missing symlinks are confusing and don't suggest what the solution is.

The only disadvantage of this PR compared to#132270 is that we still keep symlinks in the repository 🤷🏻‍♂️

• Issue:Syntax highlighting in PyREPL #131507