Re: X11DRV: remove DesktopDoubleBuffered option