chiark / gitweb /
Remove extraneous logging.