> > >     ./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?