I apologize for not entirely following the patch submission process. I'm
not sure I understand it fully yet.

The manual does not provide an example showing a locally scoped function.
Though the behavior can potentially be inferred from the documentation of
functions, an example showing the relationship between =let= and =funcall=
might be of practical help for someone who has not made a deep dive into
the manual.

I have appended the following to the documentation for =let= in the
attached file:

Functions defined within a @code{let} must be invoked using a call to
@code{funcall}.

@example
(defun foo (x)
  (let ((bar (lambda (y) (+ x y))))
    (funcall bar 3)))
(foo 4)
     @result{} 7
@end example

The standard internet search engines do not provide a well articulated
example at this time. Because locally scoped functions are a common idiom
in the Lisp family of languages, it seems likely that an example will be
helpful to programmers with experience in other Lisps. =let= seems like the
best place to put an example in the documentation.

Anyway, thanks for all you have done. If you have any questions or there is
anything I can do to help improve the documentation please let me know.