chiark / gitweb /
job: convert job type as early as we can, to simplify things a bit