chiark / gitweb /
new topology; check that graph and stuff makes sense