chiark / gitweb /
argument parsing and logging, etc.