[Python-ideas] Re: A PEP to encourage people to mind docstrings in stub files

Actually, I am talking about both. It is not stated anywhere in PEPs or Python documentation that it is OK to put docstrings in .pyi files. So we have 2 problems: * Developers (of general purpose software) don't know should they put docstrings in .pyi files * Some other developers of docstring tools (like pydoc or help()) don't know if they should consider docstrings in .pyi files I think right now it is possible for any software dealing with docstrings to find those in corresponding .pyi files given .pyi matches corresponding .py.