chiark / gitweb /
Improve server man page a bit