Manpages of gnome-shell-extensions-extra in Debian unstable