Re: What're the proper names for the backspace and delete keys in files.texi?

["Richard M. Stallman" <rms@gnu.org>]

    For the third time of asking, would somebody (Richard?) please state
    definitively what the canonical names, to be used in files.texi, are for
    the "backspace" key (typically the large rectangular key above CR that
    deletes a single character backwards) and the "delete" key (typically the
    bottom leftmost key of a block of 6 keys directly to the right of CR,
    that deletes a single character forwards).

    I think the canonical names for these keys are, respectively, @key{DEL}
    and @key{DELETE} (with exactly that capitalization), but I'm not sure.

BACKSPACE or BS is the key labeled Backspace.  DELETE refers to the
key labeled "Delete".

DEL means the ASCII character 0177.  In Emacs, either DELETE or
BACKSPACE is equivalent to DEL.