bug#12973: @: overused in manual

[Eli Zaretskii]

> From: Glenn Morris <rgm@gnu.org>
> Date: Fri, 23 Nov 2012 21:03:33 -0500
> Cc: 12973@debbugs.gnu.org
> 
> Paul Eggert wrote:
> 
> > Other times, it's being used in places where punctuation
> > would be better, e.g., "(e.g.@: spaces)".
> 
> Stylistically, I prefer the current form in at least some cases.

Me too (which isn't surprising, since I wrote some of them ;-).