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