chiark / gitweb /
remove outdated and misleading stuff