Merge "Remove obsolete file -- OBS packaging lives exclusively in the OBS"