chiark / gitweb /
config: fix comment