[releng] Issue #7124: Splitting the "sustmi" GNOME Shell extensions into separate packages