chiark / gitweb /
further debugging info() calls; marked TODO to remove when bug fixed