chiark / gitweb /
remove debugging guff, sorry