Extensions to `info.el'