Manpages of xserver-xorg-video-mga in Debian testing