chiark / gitweb /
Update usage message.