deskutils/gnome-shell-extra-extensions: Remove references to deleted ports

Don't reference removed ports as it breaks build

Reported by: antoine
Approved by: blanket (build fix)