chiark / gitweb /
configure: allow to enable/disable extras individually