Re: Function for deleting a key binding in a sparse keymap

[Richard M. Stallman]

For proper style, please write two spaces between sentences.

    @emph{Note 1:} When Emacs finally find a function symbol through this
    process it also checks for command remapping. This just replaces the
    function symbol with another. It is not recursive.

That needs a cross reference about command remapping.  Various
other cross references are needed too.

    @table @asis
    @item START-HERE:
    First apply @code{extra-keyboard-modifiers} mask to each keyboard
    character read.
    @end table

This is very peculiar Texinfo usage.  This item should be part of the
@itemize.

Please find a different way to represent these labels.  One way would
be to put the label text _inside_ the items of the @itemize.

But even better, don't use labels!  Gotos are not a clear way to
express a program.  It would be clearer to try to express this as

   (if overriding-terminal-local-map
       (look-in overriding-terminal-local-map)
     (if overriding-local-map
         (look-in overriding-local-map)
       (look-in (get-char-property (point) 'keymap))
       etc.))

which involves no labels or gotos.

Nested @itemize constructs might provide a way to do this.  You could
use @enumerate for the three alternatives, with another @itemize
inside the third one.  (See how it looks in TeX output.)