Manpages of src:gnome-shell-xrdesktop in Debian testing