[m-rev.] for possible review: tidying up reference manual

[Julien Fischer]

On Fri, 19 Jul 2019, Mark Brown wrote:

> (although I could never get the G12 leadership to acknowledge that
> removing them was due to a change in the project scope).

That's one of the advantages of starting a project with a really vague
set of aims ;-)

Julien.