2014-07-14-10.06.53: Renamed packed-widget-imp.pkg -> widget-imp.pkg because there are not any other kinds of widgets.