2014-12-03-22.49.28: src/lib/x-kit/widget/gui/guiboss-types.pkg: Eliminated Rg_Widget, which had been reduced to a one-element record.