chiark / gitweb /
remove non-login things from man