chiark / gitweb /
fix usage message again/