chiark / gitweb /
Add a man page.