chiark / gitweb /
Tidying up some old debug