Richard Stallman <rms@gnu.org> writes:

> Remember that we are talking about the pages of the manual,
> not the pages that you are developing.

Yes, I know.

Nico