the docstring is part of the pyheader (and is extracted as such)