6613a30c5e
They should have gnome-shell-extension prefix like most other extension packages. This is what other distros listed on Repology use so Repology will be able to unify them. Exception is chrome-gnome-shell, which is estabilished under that name. (cherry picked from commit 5ba789eeca29a85144d1b611e52d09b132bedd91)