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

[Andrea Corallo]

Eli Zaretskii <eliz@gnu.org> writes:

>> 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.

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

  Andrea