chiark / gitweb /
replace commented-out debugging printlns with ones which use dtxt