DOKK / manpages / debian 13 / xserver-xorg-video-mga