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

[Richard M. Stallman]

           Every keyboard has a large key, labeled <DEL>, <BACKSPACE>, <BS> or
        <DELETE>, which is a short distance above the <RET> or <ENTER> key and
        is normally used for erasing what you have typed.  Regardless of the
        actual name on the key, in Emacs it is equivalent to <DEL>--or it
        should be.

    The above paragraph appears to be an old, unreworked version of the next
    paragraph.

           Many keyboards (including standard PC keyboards) have a <BACKSPACE>
        key a short ways above <RET> or <ENTER>, and a <DELETE> key elsewhere.
        In that case, the <BACKSPACE> key is <DEL>, and the <DELETE> key is
        equivalent to `C-d'--or it should be.

They are not redundant, and neither was derived from the other.
The second describes a special case of the first.  They are
both correct, and both necessary.

      What is the meaning of "equivalent" in "the <DELETE> key is
    equivalent to `C-d'"?  It surely must mean "is bound to the same function
    as `C-d'", since it produces a different key code.

That's right.  In normal Emacs usage, those two keys should be
equivalent, since they have the same standard bindings.

    The all-caps version, @key{DELETE} is surely correct, isn't it?

Yes--so the others should be fixed.  I will fix those in the Emacs
Manual proper; could you fix the rest?