chiark / gitweb /
NEWS: add --disable-extras