[releng] Issue #6981: Taking over the orphaned gnome-shell-extension-sustmi-* packages