Closes #412

Closes #398

Fixes #207, closes #402

Closes #400

Closes #285

Fixes #168

One thing of note is that we no longer preserve grouping of methods and
print each method on its own line. We could preserve it if no
documentation is present for any methods in the group if someone asks
for it though.

Fixes #259

Fixes #361

Closes #151 due to 71170fc7

Adds --no-print-missing-docs

Fixes #310

This is to disambiguate them from markdown links and will be require
with a future release.

Closes #335

The benefit of this is that the ‘top-level’ element of such lists is
properly wrapped in <p> tags so any CSS working with these will be
applied properly. It also just makes more sense.

Pointed out at jgm/pandoc#1346.

I can not remember why they were wrapped in paragraphs to begin with and
it seems unnecessary now that I test it. Closes #307.

Fixes #201.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Currently, this check does not extend to hidden right hand sides,
although it probably should hide them in that case.