bug#12973: @: overused in manual

[Stefan Monnier]

> In any case, in my experience, this kind of changes is quickly made
> futile by future changes to the manuals that re-introduce comma-less
> e.g. and i.e. back into the text.  So if we want to adhere to the
> style that prefers the comma, we should IMO install some change that
> enforces these rules, to be run at "make info" time and flag any
> deviations.

And I think we had better just ignore those differences and move on.
Enforcing such rules is a waste of time.


        Stefan