chiark / gitweb /
abolish sidebar.html; too much hassle to maintain two