Re: [Python-ideas] Conventions for Python code documentation (was: PEP 484 (Type Hints) -- first draft round)