Man pages matching name gnome-shell-extensions-extra in section 7:

gnome-shell-extensions-extra.7.en

debian 12 / gnome-shell-extensions-extra