gnome-shell-extensions-extra(7) on Linux

The text d93e6a3cd9bb, as Debian 12 (Bookworm) shipped it.

Conglomeration package of GNOME Shell extensions

gnome-shell-extensions-extra(7) on Linux now