chiark / gitweb /
correct "usage" output (--help; see #405)