Manpages of xserver-xorg-input-mouse in Debian unstable