On 11/24/2012 10:37 AM, Richard Stallman wrote:
> We should correct these style issues for each Emacs release.

Our release strategy makes it difficult to fix these style
changes now: if we made changes like these, either to
the trunk or to the emacs-24 branch, that'd make it harder
to merge other emacs-24 changes into the trunk later.  For
this reason it's been suggested that I hold off on changes
like these, I guess until after the next Emacs release.

While we're on the topic, the Emacs manual has similar problems with
"@.".  Sometimes it uses "@." when it's not necessary, or even
incorrect (the attached patch at-dot1.txt fixes instances of this
that I found).  More often, the manual incorrectly omits "@."
(see attached patch at-dot.txt.gz).

I'm attaching a combined patch at-combined.txt.gz to make it
easier for me to remember about installing these patches later.
I'm not installing these patches now, though, for the reasons
discussed above.