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

[Eli Zaretskii]

> From: Andrea Corallo <acorallo@gnu.org>
> Cc: Visuwesh <visuweshm@gmail.com>,  philipk@posteo.net,  
> 65288@debbugs.gnu.org
> Date: Sun, 20 Aug 2023 06:11:20 -0400
> 
> Eli Zaretskii <eliz@gnu.org> writes:
> 
> > Andrea, would it make sense to introduce an option which could disable
> > showing this information in *Help*?
> 
> Hi Eli,
> 
> sure why not, something like `help-enable-function-type'?

Yes, something like that.