bug#46702: Link symbol name in Help

[Peter Dean]

On Monday, February 22, 2021 10:58 PM, Lars Ingebrigtsen <larsi@gnus.org> wrote:
>
> I wonder whether it would make sense to just remove that line. Below
> an example of what it looks like currently -- the "Documentation:" line
> seems rather redundant. What other could the text be but documentation?

True. The user obviously expects the documentation when getting help for a
function/variable and the removal of that line makes the Help window less
cluttered.