> you can explicitly install stub packages, usually called types-<name>.
This seems like a very dangerous recommendation. Anybody can publish a types-<popular-lib> package, and a package can run arbitrary code on install.
How can the PSF simultaneously refuse to support package namespaces and then write an article like this?