chiark / gitweb /
Fix some errors, and document new option.