hey folks, heya, can you help me understand these lines? https://github.com/pantsbuild/pants/blob/1ea13971f7af507121aaf36d271412c29d7aa012/docs/markdown/Python/python-goals/python-check-goal.md?plain=1#L128-L130 It says that adding mypy type stubs to the mypy lockfile will prevent them from being included in a PEX. But I think they still need to be added to the main lockfile with all the code requirements for mypy to actually use them (at least, I can't get it to work without that)? So I'm not sure that it's possible to prevent the type stubs from being able to be bundled into a PEX (except that dep inference won't pull them in)

(I don't know the answer to your question about the docs, but https://github.com/pantsbuild/pants/issues/15454 is relevant. You may be able to manually exclude the type stubs with

!!

dependencies.)