bug#46702: Link symbol name in Help

[Eli Zaretskii]

> Date: Mon, 22 Feb 2021 21:52:58 +0000
> From: Peter Dean <laszlomail@protonmail.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, "46702@debbugs.gnu.org" 
> <46702@debbugs.gnu.org>
> 
> Unrelated to this bug, but maybe an empty line after Documentation:
> too could improve readability (so the header does not merge with the
> actual documentation text).

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.