Merge pull request #595 from Jeitan/doc-typo-fix

Author: jorenham

docs/dev/index.md

@@ -60,10 +60,7 @@ See <https://docs.basedpyright.com/> for IDE integration and other info.
 
 ### mypy
 
-Mypy is used for type-checking the codebase and the type-tests. It takes more effort to run it on the codebase than `basedpyright`.
-This is primarily a consequence of mypy's inconsequent prioritization of the stubs bundled
-with NumPy over the `numpy-stubs` within a local development environment.
-To get around this, you can delete all `*.pyi` from your **local** `numpy` installation directory by running `uv tool/unstub.py`.
+Mypy is used for type-checking the codebase and the type-tests.
 
 **General Type Checking**
 

tool/README.md

@@ -32,14 +32,6 @@ Test type stubs against actual implementations using MyPy's stubtest.
 uv run tool/stubtest.py <OPTIONS>
 ```
 
-## unstub.py
-
-Remove all `.pyi` files from the NumPy site-packages directory.
-
-```shell
-uv run tool/unstub.py
-```
-
 ## format_ignores.py
 
 Format pyright ignore comments to ensure they are alphabetically sorted with proper spacing.