Extensions to `buff-menu.el'