chiark / gitweb /
Change userid when creating tracefiles rather than fiddling with