chiark / gitweb /
config: Drop mention of DEFAULT