Re: address@hidden: Re: x-backspace-delete-keys-p]

[Richard Stallman]

    For a non-expert user I think the current code is more correct.  If you 
    have both keys and one doesn't do what you expect, you probably will 
    try the other.  But if Backspace or Delete is mapped to a non-obvious 
    key combination that you don't know about, the best thing is to not 
    turn on normal-erase-is-backspace.

Ok.  Could you add a comment to that place in the code
explaining this reasoning for deciding not to change it?