bug#12973: @: overused in manual

[Paul Eggert]

On 11/23/2012 05:43 PM, Richard Stallman wrote:
> Maybe other Texinfo formatters do not treat the capital letter as
> special.

As far as I know, they're all consistent in this matter,
i.e., all formatters treat the "Q." in "John Q. Smith"
as not ending a sentence, and none of them insert extra
space after the "Q.".

In hindsight, perhaps Texinfo should also have been consistent
about the way that it formats "Write it in C.  The compile it."
That is, perhaps it should have formatted that "C.<space><space>"
as end of sentence, regardless of what TeX would do with the same
input.  But I suppose it's too late to change that now.