chiark / gitweb /
abolish sidebar.html for man pages too