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

[Eli Zaretskii]

> Date: Mon, 28 Apr 2014 08:39:06 -0700 (PDT)
> From: Drew Adams <drew.adams@oracle.com>
> Cc: drew.adams@oracle.com, 17362@debbugs.gnu.org
> 
> > Actually, the distinction should be between "ESC" (or "TAB" or "SPC")
> > the key vs "ESC ESC ESC" the key sequence typed from the keyboard.  So
> > not every <FOO> should suddenly become "FOO", it's a judgment call.
> 
> A difference in syntax for keyboard keys vs key sequences should not be
> subject to judgment calls.  There are presumably clear-cut rules defining
> the two different syntaxes.

The rules might be clear to humans, but not to a global
search-and-replace.  By "judgment call" I meant that a human should
decide which case is which, and act accordingly.