Extensions to `facemenu.el'