bug#46702: Link symbol name in Help

[Eli Zaretskii]

> Date: Tue, 23 Feb 2021 07:09:26 +0000
> From: Peter Dean <laszlomail@protonmail.com>
> Cc: "larsi@gnus.org" <larsi@gnus.org>, "46702@debbugs.gnu.org" 
> <46702@debbugs.gnu.org>
> 
> On Tuesday, February 23, 2021 4:28 AM, Eli Zaretskii <eliz@gnu.org> wrote:
> >
> > I'm not sure that's a good idea: "Documentation:" ends in a colon, so
> > the text should follow it. Otherwise it might look unrelated.
> 
> What do you think of Lars' idea of removing that line altogether, since
> it's obvious the user is looking at the documentation (the user invoked
> the command)?

That would work in simple cases, such as this one, but we also have
variables whose value takes a lot of space when printed, and in those
cases we have

  Documentation:
  <the doc string>

  Value:
  <representation of the value>

E.g., try "C-h v char-script-table RET".