chiark / gitweb /
cope with jesse's logger, which lacks --id=VALUE