upstream/20200115git0

David Bremner

@bremner

5f396fa9 · Stop accumulating docs upon encountering a heading; fixes #415 · Jan 15, 2020

fetched from github