On 2016-07-07 11:05, Drew Adams wrote:
> (And why the extra newline after the first docstring line, BTW?
> That's not conventional, and it doesn't help users, IMHO.)

Isn't it? It seems fairly common in my (limited) experience.