Minimal GNOME-panel replacement ‘Wingpanel’ gets a PPA [Updated]