Re: Customizing key bindings

[Richard Stallman]

      Now, if #2 had been difficult to do,
    then we would have returned to #1.  But #2 was rather easy to do.
    This is why I see no reason to do #1 at the moment.

It seems that that #1 gives a cleaner behavior than #2.

You're arguing that it won't matter in practice.  Perhaps that is
true.