> 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
