Manpages of xserver-xorg-input-vmmouse in Debian jessie