2014-11-30-18.57.06: src/lib/x-kit/widget/gui/guiboss-types.pkg:  Renamed   Sg_* -> Pg_*  and  SG_* -> PG_*   because <<stopped gui>> was long ago replaced by <<paused gui>> as the preferred nomenclature.