chiark / gitweb /
Remove some leftover debugging