2014-11-20-00.19.48: src/lib/x-kit/widget/gui/guiboss-imp.pkg: Killing of popups now works to zeroth-order.