2014-11-23-21.44.03: src/lib/x-kit/widget/gui/guiboss-imp.pkg:  pause_gui and kill_gui now call remove_per_gui_imps_from_global_imp_indices_then_clear_per_gui_indices.