bug#46702: Link symbol name in Help

[Lars Ingebrigtsen]

Eli Zaretskii <eliz@gnu.org> writes:

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

Indeed, so I've just removed the "Documentation:" line.  This makes the
output both more compact and less awkward to read, in my opinion.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no