chiark / gitweb /
improve dump output