bug#17362: 24.4.50; inconsistent key notation: `ESC' vs `<ESC>'

[Eli Zaretskii]

> Date: Tue, 29 Apr 2014 22:20:20 +0300
> From: Eli Zaretskii <eliz@gnu.org>
> Cc: 17362@debbugs.gnu.org
> 
> > > There should be only these variants in the manual:
> > >   <BACKSPACE>  <Delete>  <left> <Home>
> 
> Sorry, that was incorrect: it should be <LEFT>, in all caps.  The
> others are correct.
> 
> > > If you find others, please report them as documentation bugs.  I tried
> > > to fix them all, but maybe I missed some; it is a large manual.
> > 
> > There are lots of occurrences of <Backspace>.
> 
> Before my changes, yes.  Now I see only one, in the Glossary.

And now there are none.