Extensions to `imenu.el'