bug#46702: Link symbol name in Help

[Eli Zaretskii]

> Date: Wed, 24 Feb 2021 16:29:34 +0000
> From: Peter Dean <laszlomail@protonmail.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, "46702@debbugs.gnu.org" 
> <46702@debbugs.gnu.org>
> 
> >
> > Even there, I think removing the "Documentation:" line makes sense --
> > the "Value:" line clearly demarcates the documentation from the value.
> >
> 
> The line "Its value is shown below." even links to the value.
> 
> Changing this line to "Its value is shown below the documentation." where
> "below the documentation" is the new link text, and removing the
> "Documentation:" line may be a good solution which makes things
> really obvious even in the large value case.

I think we are splitting hair and painting the bike shed here.