Re: [groff] [patch] do not strip mdoc macros

[Doug McIlroy]

> It is objectively correct to strip the macro files of bytes that are
> meaningless for the program "groff"
>
> It is objectively correct to _not_ strip the macro files of bytes
> that have a meaning for humans.
>
> So provide both versions.

The conclusion is compatible with the premises but doesn't 
follow from them.

For human consumption, the comments are desirable. For machine
consumption the comments are harmless. So there is no compelling
need for the latter. For maintainability and intelligibility of
the groff distro, smaller is better.

Doug