chiark / gitweb /
Improve the help message for commands