Re: [Python-ideas] PEP-257: drop recommendation for extra line at end of multi-line docstring