Re: [patch] enhancements to package-ui.el