chiark / gitweb /
working on new tracing and output capture arrangements; still a mess; do diff with...