Split documentation paragraphs at empty lines (a la TeX). Remove extraneous newline at start of output.
Split documentation paragraphs at empty lines (a la TeX). Remove extraneous newline at start of output.

jpdeplaix/why3,jpdeplaix/why3,jpdeplaix/why3,douglas-larocca/why3,ssaavedra/why3,ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3,ssaavedra/why3