Extensions to `help.el'