> > > ./configure --without-gnutls --without-backbuffer
> > >
> >
> > Iʼd call it --without-xdbe
>
> Or maybe --disable-double-buffering?
I think sticking with the --without-... pattern makes sense.
> > Eli, would such a change require copyright assignment?
What’s this copyright assignment about? A GNU thing?