Re: minibuffer and current-local-map

[Richard Stallman]

    > I see the duplicate in the normal value of
    > minibuffer-local-completion-map.  The parent of that map is
    > minibuffer-local-map, and both of them have menu bar submaps.
    >   

    The duplication seems to be related to this comment in menu-bar.el

     (dolist (map (list minibuffer-local-map
                ;; This shouldn't be necessary, but there's a funny
                ;; bug in keymap.c that I don't understand yet.  -stef
                minibuffer-local-completion-map))
        (define-key map [menu-bar minibuf]
          (cons "Minibuf" (make-sparse-keymap "Minibuf"))))

There might be a bug in creating the submaps some other way,
which this works around.  But I think that is irrelevant here,
because the submap data looks correct to me.  If fixing the other 
bug makes it possible to create the same submaps in another way
that ought to be equivalent, that won't get rid of the bug in 
looking at them.