chiark / gitweb /
Minor help improvements.