Wow. Okay, it installs a /usr/share/applications/org.gnome.Extensions.desktop file that isn’t actually the Extensions app and you need to install another package to override that file and actually install the app. Confusing as on my Arch Linux the gnome-shell package includes the actual app with that file.
We’re getting off topic here and should move discoverability of extensions to another thread.