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

[Richard M. Stallman]

    In the Emacs manual, the <backspace> key (the one that deletes backwards)
    seems sometimes to be called @key{BS}, and at other times @key{BACKSPACE}
    or @key{DEL}.

Those are not synonymous.  The chapter on Killing explains the difference.

We worked for a long time to get this consistent and (more or less)
clear.  Now I want to leave it alone.

    The names recommended by the Texinfo manual (on page "key") are @key{BS}
    for backspace and (I think) @key{DEL} for _FORWARD_ delete.

I will talk with the Texinfo maintainer about that.