Hi,

I noticed that the section documentation entries redundantly noted
relevant sections.  Removing these led to some clarification, examples,
and so on.

Yeas, nays?

Kristaps