Extensions to `help-mode.el'