Re: Rebinding international characters

[Richard Stallman]

    I guess that the rule that regular bindings should override
    `function-key-map' was inspired by the (kp-home . [home]) type example.

I think so.

Given that what's happening here, it would be logical to use
key-translation-map for this.  That would work if key-translation-map
ran after function-key-map.  Then we'd want ordinary bindings
to override key-translation-map but not function-key-map.

But let's not think about changes like this now.