chiark / gitweb /
Remove some wacky leftover debugging.