bug#65288: 30.0.50; Make Type: annotation optional in *Help* buffers

[Eli Zaretskii]

> From: Andrea Corallo <acorallo@gnu.org>
> Cc: visuweshm@gmail.com,  philipk@posteo.net,  65288@debbugs.gnu.org
> Date: Sun, 20 Aug 2023 16:39:40 -0400
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> >> sure why not, something like `help-enable-function-type'?
> >
> > Yes, something like that.
> 
> Okay I pushed 652e45b70d8 introducing `help-display-function-type' as
> suggested by Philip, happy to tweak the name or the doc if we feel it's
> necessary.

Thanks, tweaked, and closing the bug.