Re: strange keymap bugs

[Richard Stallman]

    Then go to the "Operate" menu.  On my system, the option which should be
    labeled "Kill" (`ibuffer-do-delete') is instead labeled "Apply Patch".

That failure does not happen for me now.

    And, even stranger, move point up to the "[ Default ]" filter group
    name, and pull down the "Operate" menu again.  On my system, the
    toplevel "Operate", "View", and "Mark" menus now each contain themselves
    as two submenus!

That does happen.

    The "[ Default ]" filter group name *does* have a `keymap' property; but
    this is just supposed to override those specific entries in the buffer's
    local map, correct?

For the keyboard, it overrides some bindings, but I think that making
two submenus is normal behavior in a menu when there are multiple
bindings for the same menu item.  There is no code to merge the
different keymaps to make one menu, and I am not sure that would be
the right thing in general, even if it is what you want in this case.