chiark / gitweb /
configure: enable all extras by default, provide --disable-extras