bug#40011: Remove unnecessary abbreviations from documentation

[Eli Zaretskii]

> From: Stefan Kangas <stefan@marxist.se>
> Cc: 40011@debbugs.gnu.org,  rms@gnu.org
> Date: Mon, 27 Apr 2020 19:08:21 +0200
> 
> > So could you make the above even less definitive, either by saying
> >
> >   "Try to avoid using abbreviations like ... as much as possible."
> >
> > Maybe even add a footnote saying something like "We do occasionally
> > use these, but try not to overdo it.".
> >
> > OK?
> 
> Yes, that makes sense, thanks.  Please see the attached patch with
> your suggestions (and Drew's input) incorporated.

Thanks, this is fine by me.